TradeMaker: automated dynamic analysis of synthesized tradespaces.

Hamid Bagheri Chong Tang Kevin J. Sullivan

Published in: ICSE (2014)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
data mining
semi automated
information systems
computer aided
high level
training data
multiscale
source code
data driven
abstract interpretation