Author:
Chakrabarti Arindam,Godefroid Patrice
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TDCT: Target-Driven Concolic Testing Using Extended Units by Calculating Function Relevance;Algorithms and Architectures for Parallel Processing;2022
2. Target-driven compositional concolic testing with function summary refinement for effective bug detection;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
3. Precise concolic unit testing of C programs using extended units and symbolic alarm filtering;Proceedings of the 40th International Conference on Software Engineering;2018-05-27
4. MultiSE: multi-path symbolic execution using value summaries;Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering;2015-08-30
5. IC-Cut: A Compositional Search Strategy for Dynamic Test Generation;Model Checking Software;2015