Abstract
Automatic test generators pursue some type of systematic coverage of the program code or heuristic sampling of the program inputs.
Test generators are effective after the assumption, often (enthusiastically) embraced by researchers, that the generated test cases produce informative data for domain experts, e.g., pinpoint important bugs.
This paper investigates the validity of such assumption through a case study of using test generators on industrial software with nontrivial domain-specific peculiarities.
Our results properly enhance the available body of knowledge on the strengths and weaknesses of test generators.
Test generators are effective after the assumption, often (enthusiastically) embraced by researchers, that the generated test cases produce informative data for domain experts, e.g., pinpoint important bugs.
This paper investigates the validity of such assumption through a case study of using test generators on industrial software with nontrivial domain-specific peculiarities.
Our results properly enhance the available body of knowledge on the strengths and weaknesses of test generators.
Original language | English |
---|---|
Title of host publication | Proceedings of AST 2012 |
Subtitle of host publication | 7th International Workshop on Automation of Software Test, AST 2012 |
Publisher | IEEE Institute of Electrical and Electronic Engineers |
Pages | 50-56 |
ISBN (Electronic) | 978-1-4673-1822-8 |
ISBN (Print) | 978-1-4673-1821-1 |
DOIs | |
Publication status | Published - 2012 |
MoE publication type | Not Eligible |
Event | 7th International Workshop on Automation of Software Test - Zürich, Switzerland Duration: 2 Jun 2012 → 3 Jun 2012 Conference number: 7 |
Conference
Conference | 7th International Workshop on Automation of Software Test |
---|---|
Country/Territory | Switzerland |
City | Zürich |
Period | 2/06/12 → 3/06/12 |