We Need a Testability Transformation Semantics

16th International Conference on Software Engineering and Formal Methods

By: Mark Harman