An industrial case study of the effectiveness of test generators

P. Braione, G. Denaro, A. Mattavelli, M. Vivanti, Ali Muhammad

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

4 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of AST 2012
Subtitle of host publication7th International Workshop on Automation of Software Test, AST 2012
PublisherIEEE Institute of Electrical and Electronic Engineers
Pages50-56
ISBN (Electronic)978-1-4673-1822-8
ISBN (Print)978-1-4673-1821-1
DOIs
Publication statusPublished - 2012
MoE publication typeNot Eligible
Event7th International Workshop on Automation of Software Test - Zürich, Switzerland
Duration: 2 Jun 20123 Jun 2012
Conference number: 7

Conference

Conference7th International Workshop on Automation of Software Test
CountrySwitzerland
CityZürich
Period2/06/123/06/12

Fingerprint

Sampling

Cite this

Braione, P., Denaro, G., Mattavelli, A., Vivanti, M., & Muhammad, A. (2012). An industrial case study of the effectiveness of test generators. In Proceedings of AST 2012: 7th International Workshop on Automation of Software Test, AST 2012 (pp. 50-56). IEEE Institute of Electrical and Electronic Engineers . https://doi.org/10.1109/IWAST.2012.6228990
Braione, P. ; Denaro, G. ; Mattavelli, A. ; Vivanti, M. ; Muhammad, Ali. / An industrial case study of the effectiveness of test generators. Proceedings of AST 2012: 7th International Workshop on Automation of Software Test, AST 2012. IEEE Institute of Electrical and Electronic Engineers , 2012. pp. 50-56
@inproceedings{41d9ee26bfe145dd925e8a6840109868,
title = "An industrial case study of the effectiveness of test generators",
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.",
author = "P. Braione and G. Denaro and A. Mattavelli and M. Vivanti and Ali Muhammad",
year = "2012",
doi = "10.1109/IWAST.2012.6228990",
language = "English",
isbn = "978-1-4673-1821-1",
pages = "50--56",
booktitle = "Proceedings of AST 2012",
publisher = "IEEE Institute of Electrical and Electronic Engineers",
address = "United States",

}

Braione, P, Denaro, G, Mattavelli, A, Vivanti, M & Muhammad, A 2012, An industrial case study of the effectiveness of test generators. in Proceedings of AST 2012: 7th International Workshop on Automation of Software Test, AST 2012. IEEE Institute of Electrical and Electronic Engineers , pp. 50-56, 7th International Workshop on Automation of Software Test, Zürich, Switzerland, 2/06/12. https://doi.org/10.1109/IWAST.2012.6228990

An industrial case study of the effectiveness of test generators. / Braione, P.; Denaro, G.; Mattavelli, A.; Vivanti, M.; Muhammad, Ali.

Proceedings of AST 2012: 7th International Workshop on Automation of Software Test, AST 2012. IEEE Institute of Electrical and Electronic Engineers , 2012. p. 50-56.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

TY - GEN

T1 - An industrial case study of the effectiveness of test generators

AU - Braione, P.

AU - Denaro, G.

AU - Mattavelli, A.

AU - Vivanti, M.

AU - Muhammad, Ali

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1109/IWAST.2012.6228990

DO - 10.1109/IWAST.2012.6228990

M3 - Conference article in proceedings

SN - 978-1-4673-1821-1

SP - 50

EP - 56

BT - Proceedings of AST 2012

PB - IEEE Institute of Electrical and Electronic Engineers

ER -

Braione P, Denaro G, Mattavelli A, Vivanti M, Muhammad A. An industrial case study of the effectiveness of test generators. In Proceedings of AST 2012: 7th International Workshop on Automation of Software Test, AST 2012. IEEE Institute of Electrical and Electronic Engineers . 2012. p. 50-56 https://doi.org/10.1109/IWAST.2012.6228990