1: \begin{abstract}

2: This paper is a journal counterpart to \cite{BLM}, in which we initiate the study of property testing problems concerning a finite system of relations $E$ between permutations, generalizing the study of stability in permutations.

3: To every such system $E$, a group $\Gamma=\Gamma_E$ is associated and the testability of $E$ depends only on $\Gamma$ (just like in Galois theory, where the solvability of a polynomial is determined by the solvability of the associated group).

4: This leads to the notion of \emph{testable} groups, and, more generally, \emph{Benjamini--Schramm rigid} groups.

5: The paper presents an ensemble of tools to check if a given group $\Gamma$ is testable/BS-rigid or not.

6: \end{abstract}

7: