Static Analysis and Symbolic Execution for Deadlock Detection in MPI Programs.
Craig C. DouglasKrishanthan KrishnamoorthyPublished in: ICCS (2) (2018)
Keyphrases
- symbolic execution
- static analysis
- deadlock detection
- distributed database systems
- distributed systems
- dynamic analysis
- source code
- communication protocol
- test generation
- manufacturing systems
- computer networks
- regular expressions
- general purpose
- specification language
- database
- distributed databases
- distributed environment
- software architecture
- test suite
- complexity analysis
- pattern matching
- database applications
- database management systems
- evolutionary algorithm
- databases