Static Analysis of Object References in RMI-Based Java Software.
Mariana SharpAtanas RountevPublished in: IEEE Trans. Software Eng. (2006)
Keyphrases
- static analysis
- source code
- dynamic analysis
- java card
- software systems
- open source
- malicious code
- distributed object
- software maintenance
- abstract interpretation
- test suite
- symbolic execution
- test generation
- regular expressions
- data sets
- database access
- software development
- distributed systems
- high level
- test cases
- object oriented systems
- real world