Author:
Chalupa Marek,Vitovská Martina,Jonáš Martin,Slaby Jiri,Strejček Jan
Publisher
Springer Berlin Heidelberg
Reference7 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;M Chalupa,2016
3. Horwitz, S., Reps, T.W., Binkley, D.: Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12(1), 26–60 (1990)
4. King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385–394 (1976)
5. Lecture Notes in Computer Science;J Slaby,2014
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algorithm Selection for Software Verification using Graph Neural Networks;ACM Transactions on Software Engineering and Methodology;2023-12-11
2. Verification of Distributed Systems via Sequential Emulation;ACM Transactions on Software Engineering and Methodology;2022-03-07
3. Domain-independent interprocedural program analysis using block-abstraction memoization;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-08
4. DG: A program analysis library;Software Impacts;2020-11
5. Algorithm selection for software validation based on graph kernels;Automated Software Engineering;2020-04-18