Software validation via scalable path-sensitive value flow analysis.
Nurit DorStephen AdamsManuvir DasZhe YangPublished in: ISSTA (2004)
Keyphrases
- flow analysis
- information flow
- forensic analysis
- software design
- software development
- computer systems
- software systems
- computer software
- software quality
- user interface
- shortest path
- software platform
- software tools
- software evolution
- model validation
- genetic algorithm
- software package
- software components
- development process
- software architecture
- lightweight
- information systems