Sign in
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.
Bohuslav Krena
Zdenek Letko
Yarden Nir-Buchbinder
Rachel Tzoref-Brill
Shmuel Ur
Tomás Vojnar
Published in:
RV (2009)
Keyphrases
</>
domain knowledge
dynamic analysis
static analysis
reverse engineering
model checking
software engineering
database
real world
fine grained
test cases
software systems
user friendly
tool support
abstract interpretation
unit testing