C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.
Jan Peleska
Published in:
Concurrency, Compositionality, and Correctness (2010)
Keyphrases
</>
abstract interpretation
model checking
termination analysis
static analysis
dynamic analysis
formal specification
active rules
test set
test cases
open source
fine grained
software testing
active databases