TAV4 Proceedings of the symposium on Testing, analysis, and verification
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mutation analysis using mutant schemata
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Improved serial algorithms for mutation analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Test case generation by means of learning techniques
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Efficient mutation analysis: a new approach
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
An experimental evaluation of selective mutation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
High-level design verification of microprocessors via error modeling
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Logic Design Validation via Simulation and Automatic Test Pattern Generation
Journal of Electronic Testing: Theory and Applications
Mutation-based software testing using program schemata
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Investigating the use of analysis contracts to support fault isolation in object oriented code
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
A data flow fault coverage metric for validation of behavioral HDL descriptions
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Predicting How Badly "Good" Software Can Behave
IEEE Software
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
A Domain Coverage Metric for the Validation of Behavioral VHDL Descriptions
ITC '00 Proceedings of the 2000 IEEE International Test Conference
A Validation Fault Model for Timing-Induced Functional Errors
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
Fault Models and Test Generation for Hardware-Software Covalidation
IEEE Design & Test
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
Proceedings of the 26th International Conference on Software Engineering
ACM SIGSOFT Software Engineering Notes
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
The Efficiency of Critical Slicing in Fault Localization
Software Quality Control
ConSUS: a light-weight program conditioner
Journal of Systems and Software - Special issue: Software reverse engineering
A method for the evaluation of behavioral fault models
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
An efficient control-oriented coverage metric
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
An empirical analysis and comparison of random testing techniques
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Information and Software Technology
Testing randomized software by means of statistical hypothesis tests
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
A controlled experiment on white-box database testing
ACM SIGSOFT Software Engineering Notes
A Framework for Mutant Genetic Generation for WS-BPEL
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Hybrid testing and verification techniques for a cognitive radio system
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Coverage criteria for state based specifications
Formal methods and testing
Testability transformation: program transformation to improve testability
Formal methods and testing
GAmera: a Tool for WS-BPEL composition testing using mutation analysis
ICWE'10 Proceedings of the 10th international conference on Web engineering
A practical system for mutation testing: help for the common programmer
ITC'94 Proceedings of the 1994 international conference on Test
Using conditional mutation to increase the efficiency of mutation analysis
Proceedings of the 6th International Workshop on Automation of Software Test
Proceedings of the 6th International Workshop on Automation of Software Test
Journal of Systems and Software
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Mutation based test case generation via a path selection strategy
Information and Software Technology
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Empirical evaluation on FBD model-based test coverage criteria using mutation analysis
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Science of Computer Programming
Mutation at the multi-class and system levels
Science of Computer Programming
Selective mutation testing for concurrent code
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Faster mutation testing inspired by test prioritization and reduction
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Journal of Systems and Software
Hi-index | 0.00 |