Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
The role of frame-based representation in reasoning
Communications of the ACM
Artificial Intelligence
Reasoning with worlds and truth maintenance in a knowledge-based programming environment
Communications of the ACM
The implications of program dependencies for software testing, debugging, and maintenance
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
AMT—the Ada maintenance toolchest
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
A knowledge-based system for regression testing
A knowledge-based system for regression testing
MicroScope: A Knowledge-Based Programming Environment
IEEE Software
Techniques for Selective Revalidation
IEEE Software
A Rule-Based Software Test Data Generator
IEEE Transactions on Knowledge and Data Engineering
| Hi-index | 0.01 |