The Auspicious Couple: Symbolic Execution and WCET Analysis.

Armin Biere Jens Knoop Laura Kovács Jakob Zwirchmayr

Published in: WCET (2013)

Keyphrases

symbolic execution
static analysis
real world
training data
relational databases
general purpose