Efficient leveraging of symbolic execution to advanced coverage criteria - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Conference Papers Year : 2014

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.
No file

Dates and versions

cea-01836307 , version 1 (12-07-2018)

Identifiers

Cite

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⟩

Collections

CEA DRT LIST ANR
16 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More