Applying Static Analysis to Software Architectures.
Gleb NaumovichGeorge S. AvruninLori A. ClarkeLeon J. OsterweilPublished in: ESEC / SIGSOFT FSE (1997)
Keyphrases
- static analysis
- software architecture
- dynamic analysis
- source code
- software systems
- software engineering
- embedded software
- description language
- malicious code
- java card
- symbolic execution
- test generation
- reference model
- software development
- distributed systems
- test suite
- reference architecture
- abstract interpretation
- security requirements
- functional requirements
- product line
- real world
- regular expressions
- high level
- commercial off the shelf
- information systems