Toward Tool-Independent Summaries for Symbolic Execution.

Frederico Ramos Nuno Sabino Pedro Adão David A. Naumann José Fragoso Santos

Published in: ECOOP (2023)

Keyphrases

symbolic execution
test generation
test data generation
case study
orders of magnitude
database
data sets
real world
source code
software systems