JTACO: Test Execution for Faster Bounded Verification.

Alexander Kampmann Juan Pablo Galeotti Andreas Zeller

Published in: TAP@STAF (2014)

Keyphrases

symbolic execution
test generation
database
test data generation
model checking
statistical tests
databases
neural network
data mining
information retrieval
multiscale
test cases
statistical significance
memory efficient
formal verification
execution model