Login / Signup
Combining static analysis error traces with dynamic symbolic execution (experience paper).
Frank Busse
Pritam Gharat
Cristian Cadar
Alastair F. Donaldson
Published in:
ISSTA (2022)
Keyphrases
</>
static analysis
symbolic execution
dynamic analysis
source code
test generation
test data generation
java card
error rate
specification language
abstract interpretation
regular expressions
learning algorithm
case study
software engineering
general purpose
knowledge management