Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A partition analysis method to increase program reliability
ICSE '81 Proceedings of the 5th international conference on Software engineering
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Assessing the fault-detecting ability of testing methods
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Estimating the Probability of Failure When Testing Reveals No Failures
IEEE Transactions on Software Engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
Comparing Partition and Random Testing via Majorization and Schur Functions
IEEE Transactions on Software Engineering
A grey-box approach to the functional testing of complex automatic train protection systems
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
| Hi-index | 0.00 |