Sign in
Toward Tool-Independent Summaries for Symbolic Execution (Artifact).
Frederico Ramos
Nuno Sabino
Pedro Adão
David A. Naumann
José Fragoso Santos
Published in:
Dagstuhl Artifacts Ser. (2023)
Keyphrases
</>
symbolic execution
test generation
test data generation
static analysis
source code
genetic programming