Mutation-driven generation of unit tests and oracles
Proceedings of the 19th international symposium on Software testing and analysis
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Generating parameterized unit tests
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Search-based software engineering: Trends, techniques and applications
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Traditionally, program analysis has been divided into two camps: Static techniques analyze code and safely determine what cannot happen; while dynamic techniques analyze executions to determine what actually has happened. While static analysis suffers from overapproximation, erring on whatever could happen, dynamic analysis suffers from underapproximation, ignoring what else could happen. In this talk, I suggest to systematically generate executions to enhance dynamic analysis, exploring and searching the space of software behavior. First results in fault localization and specification mining demonstrate the benefits of search-based analysis.