A Static Analysis to Detect Re-Entrancy in Object Oriented Programs.
Manuel FähndrichDiego GarbervetskyWolfram SchultePublished in: J. Object Technol. (2008)
Keyphrases
- static analysis
- object oriented programs
- source code
- dynamic analysis
- impact analysis
- specification languages
- integration testing
- symbolic execution
- object oriented
- regular expressions
- java card
- test generation
- open source
- black box
- database
- test suite
- artificial intelligence
- reverse engineering
- first order logic
- software systems
- knowledge management
- databases