Improving software testing in large data processing organizations
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
HITS: a symbolic testing and debugging system for multilingual microcomputer software
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Hi-index | 4.11 |
Automated testing analyzers are popular software test tools. Such an analyzer, using a branch testing strategy, provides a cost-effective way of increasing confidence in software behavior.