Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Boyer, R., Elspas, B., Levitt, K.: SELECT–a formal system for testing and debugging programs by symbolic execution. SIGPLAN Notices 10(6), 234–245 (1975)
2. Lecture Notes in Computer Science;G. Bruns,1999
3. Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on java predicates. In: Proceedings of the International Symposium on Software Testing and Analysis, pp. 123–133. ACM, New York (2002)
4. Bush, W.R., Pincus, J.D., Sielaff, D.J.: A static analyzer for finding dynamic programming errors. Software-Practice and Experience 30(7), 775–802 (2000)
5. Chlipala, A.J., Henzinger, T.A., Jhala, R., Majumdar, R.: Generating tests from counterexamples. In: ICSE 2004: International Conference on Software Engineering. ACM, New York (2004) (to appear)
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Low-Level Reachability Analysis Based on Formal Logic;Tests and Proofs;2023
2. SYMAC;Proceedings of the 2nd International Conference on Computer Science and Software Engineering - CSSE 2019;2019
3. Under-Approximation Generation Driven by Relevance Predicates and Variants;Tests and Proofs;2018
4. Approximating Event System Abstractions by Covering Their States and Transitions;Lecture Notes in Computer Science;2018
5. Generating Tests by Example;Lecture Notes in Computer Science;2017-12-29