Author:
Huster Stefan,Burg Sebastian,Eichelberger Hanno,Laufenberg Jo,Ruf Jürgen,Kropf Thomas,Rosenstiel Wolfgang
Publisher
Springer International Publishing
Reference20 articles.
1. Xiao, X., Li, S., Xie, T., Tillmann, N.: Characteristic studies of loop problems for structural test generation via symbolic execution. In: Proceedings of 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), November 2013
2. Liu, T., Nagel, M., Taghdiri, M.: Bounded program verification using an SMT solver: a case study. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), pp. 101–110. IEEE (2012)
3. Godefroid, P., Levin, M.Y., Molnar, D.A., et al.: Automated whitebox fuzz testing. In: NDSS, vol. 8, pp. 151–166 (2008)
4. D’silva, V., Kroening, D., Weissenbacher, G.: A survey of automated techniques for formal software verification. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 27(7), 1165–1178 (2008)
5. Lecture Notes in Computer Science;DR Cok,2005
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Knowledge transfer based many-objective approach for finding bugs in multi-path loops;Complex & Intelligent Systems;2024-01-24
2. Loop path reduction by state pruning;Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering;2018-09-03