Subject
Hardware and Architecture,Information Systems,Software
Reference50 articles.
1. Techniques to Facilitate Symbolic Execution of Real-World Programs;Anand,2012
2. Test suite generation with the many independent objective (MIO) algorithm;Arcuri;Inf. Softw. Technol.,2018
3. Automatic mutation test input data generation via ant colony;Ayari,2007
4. Symbolic search-based testing;Baars,2011
5. A survey of symbolic execution techniques;Baldoni;ACM Comput. Surv. (CSUR),2018
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献