Skip to Main content Skip to Navigation
Conference papers

Efficient leveraging of symbolic execution to advanced coverage criteria

Abstract : Automatic test data generation (ATG) is a major topic in software engineering. In this paper, we bridge the gap between the coverage criteria supported by state-of-the-art whitebox ATG technologies, especially Dynamic Symbolic Execution, and advanced coverage criteria found in the literature. We define a new testing criterion, label coverage, and prove it to be both expressive and amenable to efficient automation. We propose several innovative techniques resulting in an effective blackbox support for label coverage, while a direct approach induces an exponential blow-up of the search space. Experiments show that our optimisations yield very significant savings allowing to leverage ATG to label coverage with only a slight overhead.
Document type :
Conference papers
Complete list of metadata

https://hal-cea.archives-ouvertes.fr/cea-01836307
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Thursday, July 12, 2018 - 11:27:03 AM
Last modification on : Sunday, June 27, 2021 - 3:27:57 AM

Identifiers

Collections

Citation

S. Bardin, N. Kosmatov, F. Cheynier. Efficient leveraging of symbolic execution to advanced coverage criteria. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Mar 2014, Cleveland, OH, United States. pp.173-182, ⟨10.1109/ICST.2014.30⟩. ⟨cea-01836307⟩

Share

Metrics

Record views

127