Combining Static Analysis and Testing for Deadlock Detection.
Elvira AlbertMiguel Gómez-ZamalloaMiguel IsabelPublished in: IFM (2016)
Keyphrases
- static analysis
- deadlock detection
- symbolic execution
- dynamic analysis
- test generation
- distributed database systems
- test suite
- distributed systems
- source code
- test case generation
- abstract interpretation
- manufacturing systems
- regular expressions
- test cases
- java card
- database systems
- reverse engineering
- computer networks
- database
- communication protocol
- database management systems