CHESS: Systematic Stress Testing of Concurrent Software.
Madan MusuvathiShaz QadeerPublished in: LOPSTR (2006)
Keyphrases
- software testing
- test cases
- software development
- quality assurance
- software systems
- concurrent programs
- software reliability
- artificial intelligence
- software development life cycle
- testing process
- test suite
- user interface
- software maintenance
- software developers
- software design
- software package
- regression testing
- object oriented software
- development lifecycle
- game playing
- software tools
- evaluation function
- hardware design
- software architecture
- source code
- website