Author:
Visser Willem,Havelund Klaus,Brat Guillaume,Park SeungJoon,Lerda Flavio
Publisher
Springer Science and Business Media LLC
Cited by
450 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
2. Towards Life-long Software Self-validation in Production;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24
3. Invariant-based Program Repair;Lecture Notes in Computer Science;2024
4. JPF: From 2003 to 2023;Lecture Notes in Computer Science;2024
5. Test flakiness’ causes, detection, impact and responses: A multivocal review;Journal of Systems and Software;2023-12