Static Analysis of Object Oriented Programs.
Christoph SteindlPublished in: ECOOP Workshop for PhD Students in OO Systems (1999)
Keyphrases
- static analysis
- object oriented programs
- impact analysis
- source code
- integration testing
- specification languages
- dynamic analysis
- object oriented
- black box
- java card
- symbolic execution
- regular expressions
- open source
- test suite
- formal specification
- software testing
- abstract interpretation
- test generation
- first order logic
- databases
- reverse engineering
- feature space
- decision trees