Reconciling perspectives of software logic testing.
Garrett Kent KaminskiGregory WilliamsPaul AmmannPublished in: Softw. Test. Verification Reliab. (2008)
Keyphrases
- software testing
- test cases
- software development
- computer systems
- software tools
- testing process
- user interface
- test suite
- embedded software
- predicate logic
- quality assurance
- test data generation
- software systems
- software design
- case study
- web services
- regression testing
- test case generation
- model based testing
- software reliability
- development lifecycle
- classical logic
- static analysis
- software maintenance
- logic programming
- digital circuits
- hardware design
- computational properties
- software platform
- modal logic
- integration testing
- source code
- database