Non-specification-based approaches to logic testing for software.
Noritaka KobayashiTatsuhiro TsuchiyaTohru KikunoPublished in: Inf. Softw. Technol. (2002)
Keyphrases
- software testing
- user interface
- test case generation
- strengths and weaknesses
- software development
- formal verification
- software systems
- test cases
- design patterns
- asynchronous circuits
- neural network
- computer systems
- embedded systems
- source code
- software engineering
- regression testing
- reactive systems
- test data generation