HITS: a symbolic testing and debugging system for multilingual microcomputer software.
Takeshi ChushoAtsushi TanakaEri OkamotoAkinori HondaToru KurosakiPublished in: AFIPS National Computer Conference (1983)
Keyphrases
- software testing
- test cases
- software development
- quality assurance
- test suite
- testing process
- test case generation
- fault localization
- software systems
- digital libraries
- software tools
- program slicing
- hardware designs
- model based testing
- software developers
- software reliability
- development lifecycle
- software engineering
- software development and maintenance
- regression testing
- computer systems
- software design
- software maintenance
- multi lingual
- formal verification
- cross language information retrieval
- cross lingual
- software components
- ranking algorithm
- source code
- user interface