Even though the area of formal verification made tremendous progress, other validation techniques remain very important. In particular, software testing has been, and will be, one of the dominating techniques for building up confidence in software. Formal verification on the one hand, and testing on the other hand, are complementary techniques, with different characteristics in terms of the achieved level of confidence, required user competence, and scalability, among others.
CITATION STYLE
Ahrendt, W., Gladisch, C., & Herda, M. (2016). Proof-based test case generation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10001 LNCS, pp. 415–451). Springer Verlag. https://doi.org/10.1007/978-3-319-49812-6_12
Mendeley helps you to discover research relevant for your work.