Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Compound-Poisson Software Reliability Model
IEEE Transactions on Software Engineering
A Binary Markov Process Model for Random Testing
IEEE Transactions on Software Engineering
Log-Logistic Software Reliability Growth Model
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Systems testing and statistical test data coverage
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Efficient Verification of Behavioral Models Using Sequential Sampling Technique
VLSI '99 Proceedings of the IFIP TC10/WG10.5 Tenth International Conference on Very Large Scale Integration: Systems on a Chip
On choosing test criteria for behavioral level hardware design verification
HLDVT '00 Proceedings of the IEEE International High-Level Validation and Test Workshop (HLDVT'00)
On statistical behavior of branch coverage in testing behavioral VHDL models
HLDVT '00 Proceedings of the IEEE International High-Level Validation and Test Workshop (HLDVT'00)
Achieving the Quality of Verification for Behavioral Models with Minimum Effort
ISQED '00 Proceedings of the 1st International Symposium on Quality of Electronic Design
Confidence-Based Reliability And Statistical Coverage Estimation
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Generating test data for distributed software using the chaining approach
Information and Software Technology
Hole analysis for functional coverage data
Proceedings of the 39th annual Design Automation Conference
Enhancing the control and efficiency of the covering process [logic verification]
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
Advanced Analysis Techniques for Cross-Product Coverage
IEEE Transactions on Computers
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
Hi-index | 0.00 |