Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
Validation of ultrahigh dependability for software-based systems
Communications of the ACM
Software Process Evolution at the SEL
IEEE Software
On the Relationship Between Partition and Random Testing
IEEE Transactions on Software Engineering
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions on Software Engineering
Observations on industrial practice using formal methods
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Coverage measurement experience during function test
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Reliable software and communication: software quality, reliability, and safety
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Engineering Software Under Statistical Quality Control
IEEE Software
Operational Profiles in Software-Reliability Engineering
IEEE Software
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
On some reliability estimation problems in random and partition testing
IEEE Transactions on Software Engineering
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
Cryptographic verification of test coverage claims
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
On random and partition testing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Further empirical studies of test effectiveness
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling the Effects of Combining Diverse Software Fault Detection Techniques
IEEE Transactions on Software Engineering
On Comparisons of Random, Partition, and Proportional Partition Testing
IEEE Transactions on Software Engineering
A General Model of Unit Testing Efficacy
Software Quality Control
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
A Model Driven Approach for Software Systems Reliability
Proceedings of the 26th International Conference on Software Engineering
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Analysis of the effectiveness of students' test data
Journal of Computing Sciences in Colleges
Modelling the effects of combining diverse software fault detection techniques
Formal methods and testing
Finding upper bounds for software failure probabilities – experiments and results
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.01 |