It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various kinds of formal specifications, their submission, and verdict. All these methods rely upon some hypotheses on the system under test that formalise the gap between the success of a test campaign and the correctness of the system under test. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Gaudel, M. C. (2005). Formal methods and testing: Hypotheses, and correctness approximations. In Lecture Notes in Computer Science (Vol. 3582, pp. 2–8). Springer Verlag. https://doi.org/10.1007/11526841_2
Mendeley helps you to discover research relevant for your work.