Deadlock-Detection in Java-Library Using Static-Analysis.
Vivek K. ShanbhagPublished in: APSEC (2008)
Keyphrases
- static analysis
- deadlock detection
- source code
- distributed database systems
- distributed systems
- java card
- dynamic analysis
- open source
- manufacturing systems
- communication protocol
- inter organizational workflow
- programming language
- database applications
- computer networks
- abstract interpretation
- regular expressions
- java programs
- concurrency control
- database management systems
- test suite
- data mining
- distributed databases
- object oriented
- high level
- software engineering
- database systems