Author:
Anand Saswat,Păsăreanu Corina S.,Visser Willem
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;W. Visser,2006
2. Cadar, C., et al.: Exe: Automatically generating inputs of death. In: Computer and Comm. Security (2006)
3. CVCL. http://www.cs.nyu.edu/acsys/cvcl/.
4. Lecture Notes in Computer Science;B. Dutertre,2006
5. Java PathFinder,
http://javapathfinder.sourceforge.net
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Bug detection in Java code: An extensive evaluation of static analysis tools using Juliet Test Suites;Software: Practice and Experience;2022-12-29
2. Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary;The 11th International Symposium on Information and Communication Technology;2022-12
3. SymInfer;Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings;2022-05-21
4. SymInfer: Inferring Numerical Invariants using Symbolic States;2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2022-05
5. ASE: A Value Set Decision Procedure for Symbolic Execution;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11