Accelerated robustness testing of state-based components using reverse execution.

Patrick Heckeler Bastian Schlich Thomas Kropf

Published in: SAC (2013)

Keyphrases

data sets
training data
real time
data mining
multiscale
optimal solution
relational databases
building blocks
plan execution
testing process
symbolic execution