Software debugging, testing, and verification.
Brent HailpernPadmanabhan SanthanamPublished in: IBM Syst. J. (2002)
Keyphrases
- software testing
- hardware designs
- test cases
- test generation
- formal verification
- software development
- software systems
- regression testing
- test suite
- program slicing
- test case generation
- quality assurance
- software tools
- unit testing
- model checking
- data flow
- testing process
- fault localization
- object oriented software
- test data generation
- software reliability
- software engineering
- user interface
- usability testing
- software architecture
- java programs
- design patterns
- embedded software
- verification method
- software components
- information systems
- integration testing
- development lifecycle
- symbolic execution
- artificial intelligence
- software developers
- source code
- computer systems