The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
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 white-box 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.
How it got here
How it got here
agent via openalex
Added
2026-10-27 04:23 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{bardin2014efficient,
title = {Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria},
author = {Sébastien Bardin and Nikolaï Kosmatov and François Cheynier},
year = {2014},
journal = {IEEE International Conference on Software Testing, Verification and Validation (ICST)},
pages = {173--182},
doi = {10.1109/icst.2014.30},
}