Author:
Lavillonnière Eric,Mentré David,Cousineau Denis
Publisher
Springer International Publishing
Reference14 articles.
1. Aggarwal, R., Singh, N.: Search based structural test data generations: a survey/a current state of art. Int. J. Sci. Eng. Res. 8, 511–520 (2017)
2. Lecture Notes in Computer Science;S Bardin,2014
3. Bardin, S., et al.: Sound and quasi-complete detection of infeasible test requirements. In: International Conference on Software Testing, Verification and Validation (ICST), pp. 1–10. IEEE (2015)
4. Lecture Notes in Computer Science;S Bardin,2018
5. Botella, B., et al.: Automating structural testing of C programs: experience with PathCrawler. In: Proceedings of the 4th International Workshop on the Automation of Software Test, pp. 70–78. IEEE (2009)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Efficient Black-Box Support of Advanced Coverage Criteria for Klee;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27