Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).
Sarvani S. VakkalankaGrzegorz SzubzdaAnh VoGanesh GopalakrishnanRobert M. KirbyRajeev ThakurPublished in: PVM/MPI (2009)
Keyphrases
- static analysis
- symbolic execution
- dynamic analysis
- abstract interpretation
- java card
- test generation
- source code
- reverse engineering
- malicious code
- model checking
- regular expressions
- decision trees
- high level
- message passing
- test suite
- data sets
- shared memory
- termination analysis
- api calls
- specification language
- parallel algorithm
- query processing
- training data
- knowledge base