Static Analysis of Object References in RMI-Based Java Software.
Mariana SharpAtanas RountevPublished in: ICSM (2005)
Keyphrases
- static analysis
- source code
- dynamic analysis
- java card
- software systems
- open source
- symbolic execution
- distributed object
- malicious code
- distributed systems
- software maintenance
- test suite
- java programs
- cross platform
- programming language
- test generation
- database access
- abstract interpretation
- regular expressions
- visual basic
- software components
- error rate
- object oriented systems
- software development
- software engineering
- object oriented
- high level