July 1, 2018
We Need a Testability Transformation Semantics
16th International Conference on Software Engineering and Formal Methods
This paper 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.
By: Mark Harman