Proof, Completeness, Transcendentals, and Sampling
Journal of the ACM (JACM)
Test data as an aid in proving program correctness
Communications of the ACM
Toward a theory of test data selection
Proceedings of the international conference on Reliable software
Perturbation Techniques for Detecting Domain Errors
IEEE Transactions on Software Engineering
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
Reliability, sampling, and algorithmic randomness
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Testing for linear errors in nonlinear computer programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
Perturbation testing for computation errors
ICSE '84 Proceedings of the 7th international conference on Software engineering
The application of error-sensitive testing strategies to debugging
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
| Hi-index | 0.00 |