The Verified Software Challenge: A Call for a Holistic Approach to Reliability.
Thomas BallPublished in: VSTTE (2005)
Keyphrases
- software development
- software systems
- software architecture
- software reliability
- computer systems
- software maintenance
- software tools
- information retrieval
- reliability analysis
- software application
- software design
- data flow
- database
- reverse engineering
- personal computer
- source code
- case study
- software packages
- product quality
- hardware design
- computer software
- decision trees
- highly reliable
- commercial software
- genetic algorithm