User defined coverage—a tool supported methodology for design verification
DAC '98 Proceedings of the 35th annual Design Automation Conference
Hole analysis for functional coverage data
Proceedings of the 39th annual Design Automation Conference
Solving the generalized mask constraint for test generation of binary floating point add operation
Theoretical Computer Science - Real numbers and computers
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Coverability Analysis Using Symbolic Model Checking
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Improvements in Coverability Analysis
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Coverage-oriented verification of banias
Proceedings of the 40th annual Design Automation Conference
Visualizing O-O Testing in Virtual Communities - Distributed Teaching and Learning
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Cost Evaluation of Coverage Directed Test Generation for the IBM Mainframe
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Increased Software Reliability Through Input Validation Analysis and Testing
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Defining coverage views to improve functional coverage analysis
Proceedings of the 41st annual Design Automation Conference
Probabilistic regression suites for functional verification
Proceedings of the 41st annual Design Automation Conference
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation
Software Quality Control
Applications of synchronization coverage
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Encyclopedia of Computer Science
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
A probabilistic alternative to regression suites
Theoretical Computer Science
Covering code behavior on input validation in functional testing
Information and Software Technology
Software testing and the naturally occurring data assumption in natural language processing
SETQA-NLP '08 Software Engineering, Testing, and Quality Assurance for Natural Language Processing
An Introduction to Software Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Evaluating workloads using multi-comparative functional coverage
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Bi-criteria test suite reduction by cluster analysis of execution profiles
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Dynamic test data generation for data intensive applications
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
Hi-index | 0.00 |