C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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