A Fortran language system for mutation-based software testing
Software—Practice & Experience
Comparison of program testing strategies
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
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
High-performance mutation testing
Journal of Systems and Software
On mutation and data flow
A semantic model of program faults
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
An experimental evaluation of selective mutation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
Mutation analysis of program test data
Mutation analysis of program test data
A theory of error-based testing
A theory of error-based testing
High-level design verification of microprocessors via error modeling
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Prioritizing Test Cases For Regression Testing
IEEE Transactions on Software Engineering
Test Case Prioritization: A Family of Empirical Studies
IEEE Transactions on Software Engineering
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering
Mutation Testing Applied to Estelle Specifications
Software Quality Control
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
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Planner Based Error Recovery Testing
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Limitations of empirical testing technique knowledge
Lecture notes on empirical software engineering
Reviewing 25 Years of Testing Technique Experiments
Empirical Software Engineering
An experimental mutation system for Java
ACM SIGSOFT Software Engineering Notes
Towards building a solid empirical body of knowledge in testing techniques
ACM SIGSOFT Software Engineering Notes
Automating Traceability for Generated Software Artifacts
Proceedings of the 19th IEEE international conference on Automated software engineering
From Testing to Diagnosis: An Automated Approach
Proceedings of the 19th IEEE international conference on Automated software engineering
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Empirical Software Engineering
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Improving test suites for efficient fault localization
Proceedings of the 28th international conference on Software engineering
The class-level mutants of MuJava
Proceedings of the 2006 international workshop on Automation of software test
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
An empirical comparison between direct and indirect test result checking approaches
Proceedings of the 3rd international workshop on Software quality assurance
Information and Software Technology
A fault model and mutation testing of access control policies
Proceedings of the 16th international conference on World Wide Web
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering
GoalDebug: A Spreadsheet Debugger for End Users
ICSE '07 Proceedings of the 29th international conference on Software Engineering
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Sufficient mutation operators for measuring test effectiveness
Proceedings of the 30th international conference on Software engineering
The Effectiveness of T-Way Test Data Generation
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
On guiding the augmentation of an automated test suite via mutation analysis
Empirical Software Engineering
On reduced neighborhood mutation analysis using a single mutagenic operator
Proceedings of the 47th Annual Southeast Regional Conference
Information and Software Technology
Efficient mutation testing by checking invariant violations
Proceedings of the eighteenth international symposium on Software testing and analysis
Javalanche: efficient mutation testing for Java
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Evaluating Models for Model-Based Debugging
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Information and Software Technology
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Is operator-based mutant selection superior to random mutant selection?
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Automating software tests with partial oracles in integrated environments
Proceedings of the 5th Workshop on Automation of Software Test
Towards automating the generation of mutation tests
Proceedings of the 5th Workshop on Automation of Software Test
SCEMIT: a systemc error and mutation injection tool
Proceedings of the 47th Design Automation Conference
Efficient multi-objective higher order mutation testing with genetic programming
Journal of Systems and Software
Does testing help to reduce the number of potentially faulty statements in debugging?
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Testing techniques in software engineering
Testing techniques in software engineering
Testing and validating machine learning classifiers by metamorphic testing
Journal of Systems and Software
An empirical study on the usage of testability information to fault localization in software
Proceedings of the 2011 ACM Symposium on Applied Computing
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
On the influence of multiple faults on coverage-based fault localization
Proceedings of the 2011 International Symposium on Software Testing and Analysis
The use of mutation in testing experiments and its sensitivity to external threats
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Automatic mutation based test data generation
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
Strong higher order mutation-based test data generation
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Automating unit and integration testing with partial oracles
Software Quality Control
Journal of Systems and Software
Applying software testing metrics to lapack
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
From faults via test purposes to test cases: on the fault-based testing of concurrent systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Prioritizing tests for fault localization through ambiguity group reduction
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Localizing SQL faults in database applications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Accounting for defect characteristics in evaluations of testing techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reduction of test suites using mutation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Mutation based test case generation via a path selection strategy
Information and Software Technology
An experimental evaluation of weak-branch criterion for class testing
Journal of Systems and Software
Selecting mutation operators with a multiobjective approach
Expert Systems with Applications: An International Journal
Proceedings of the 2012 International Symposium on Software Testing and Analysis
On the Reuse of TLM Mutation Analysis at RTL
Journal of Electronic Testing: Theory and Applications
Regression test suite prioritization using system models
Software Testing, Verification & Reliability
On the effects of pair programming on thoroughness and fault-finding effectiveness of unit tests
PROFES'07 Proceedings of the 8th international conference on Product-Focused Software Process Improvement
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
International Journal of Applied Metaheuristic Computing
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
Using fault history to improve mutation reduction
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Journal of Systems and Software
Injecting mechanical faults to localize developer faults for evolving software
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Combining mutation and fault localization for automated program debugging
Journal of Systems and Software
Hi-index | 0.01 |