This paper (This paper is a brief outline of some of the content of the keynote by the author at the 16th International Conference on Software Engineering and Formal Methods (SEFM 2018) in Toulouse, France; 27th–29th June 2018.) 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.
CITATION STYLE
Harman, M. (2018). We need a testability transformation semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10886 LNCS, pp. 3–17). Springer Verlag. https://doi.org/10.1007/978-3-319-92970-5_1
Mendeley helps you to discover research relevant for your work.