Author:
Le Viet Hoang,Correnson Loïc,Signoles Julien,Wiels Virginie
Publisher
Springer International Publishing
Reference33 articles.
1. Agrawal, H., Demillo, R.A., Hathaway, B., Hsu, W., Hsu, W., Krauser, E.W., Martin, R.J., Mathur, A., Spafford, E.: Design of mutant operators for the C programming language. Technical report, SERC-TR-41-P, Purdue University (1999)
2. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)
3. Artho, C., Biere, A.: Combined static and dynamic analysis. Electron. Notes Theor. Comput. Sci. (ENTCS) 131, 3–14 (2005)
4. Bardin, S., Delahaye, M., David, R., Kosmatov, N., Papadakis, M., Traon, Y.L., Marion, J.Y.: Sound and quasi-complete detection of infeasible test requirements. In: IEEE 8th International Conference on Software Testing, Verification and Validation, ICST 2015, pp. 1–10 (2015)
5. Lecture Notes in Computer Science;S Bardin,2014
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Combining Analyses Within Frama-C;Computer Science Foundations and Applied Logic;2024
2. Runtime Annotation Checking with Frama-C: The E-ACSL Plug-in;Computer Science Foundations and Applied Logic;2024
3. Integrating Formal Verification and Assurance: An Inspection Rover Case Study;Lecture Notes in Computer Science;2021
4. Runtime Assertion Checking and Static Verification: Collaborative Partners;Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018