Author:
Chalupa Marek,Jonáš Martin,Slaby Jiri,Strejček Jan,Vitovská Martina
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209–224. USENIX Association (2008)
2. Lecture Notes in Computer Science;N Eén,2004
3. Lecture Notes in Computer Science;J Ferrante,1984
4. Lecture Notes in Computer Science;V Ganesh,2007
5. Horwitz, S., Reps, T.W., Binkley, D.: Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12(1), 26–60 (1990)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. DG: A program analysis library;Software Impacts;2020-11
2. Probabilistic Verification of Outsourced Computation Based on Novel Reversible PUFs;Service-Oriented and Cloud Computing;2020
3. Symbiotic 5: Boosted Instrumentation;Tools and Algorithms for the Construction and Analysis of Systems;2018
4. Symbiotic 4: Beyond Reachability;Tools and Algorithms for the Construction and Analysis of Systems;2017
5. Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016);Tools and Algorithms for the Construction and Analysis of Systems;2016