The Use of Software Simulators in the Testing and Debugging of Microprogram Logic.
Glenford J. MyersDavid G. HockerPublished in: IEEE Trans. Computers (1981)
Keyphrases
- software testing
- test cases
- software development
- software reliability
- software systems
- testing process
- quality assurance
- fault localization
- test case generation
- test data generation
- computer systems
- logic programming
- software tools
- regression testing
- software projects
- software maintenance
- test suite
- software engineering
- case study
- information systems
- integration testing
- predicate logic
- source code
- open source
- java programs
- software design
- model based testing
- hardware designs
- program understanding
- software development and maintenance
- program comprehension
- dynamic analysis
- static analysis
- software components
- modal logic
- test data
- knowledge base