We Need a Testability Transformation Semantics

16th International Conference on Software Engineering and Formal Methods


This paper1 briefly reviews Testability Transformation, its formal definition, and the open problem of constructing a set of formal test adequacy semantics to underpin the current practice of deploying transformations to help testing and verification activities.

Featured Publications