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