ThreadSafe: Static Analysis for Java Concurrency.
Robert AtkeyDonald SannellaPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)
Keyphrases
- static analysis
- source code
- java card
- software systems
- object oriented languages
- dynamic analysis
- open source
- symbolic execution
- java programs
- object oriented
- concurrency control
- programming language
- malicious code
- test suite
- abstract interpretation
- test generation
- data sets
- feature space
- database systems
- regular expressions
- object oriented programming
- data flow
- object oriented databases
- database applications
- high level
- real world