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
PublisherInstitute of Electrical and Electronic Engineers IEEE
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). Institute of Electrical and Electronic Engineers IEEE. 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. Institute of Electrical and Electronic Engineers IEEE, 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 = "Institute of Electrical and Electronic Engineers IEEE",
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. Institute of Electrical and Electronic Engineers IEEE, 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. Institute of Electrical and Electronic Engineers IEEE, 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 - Institute of Electrical and Electronic Engineers IEEE

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. Institute of Electrical and Electronic Engineers IEEE. 2012. p. 50-56 https://doi.org/10.1109/IWAST.2012.6228990