A testing approach that checks if a system maintains consistent behavior under semantically equivalent input transformations.