DMCA

Automatic Partial Loop Summarization in Dynamic Test Generation (2011)

by Patrice Godefroid
Venue:In Proceedings of ISSTA’2011 (ACM SIGSOFT International Symposium on Software Testing and Analysis
Citations:32 - 5 self