The evaluation of program-based software test data adequacy criteria
Communications of the ACM
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
A Family-Oriented Software Development Process for Engine Controllers
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Applicability of Non-Specification-Based Approaches to Logic Testing for Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Improving Driver Robustness: An Evaluation of the Devil Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
On-line testing of scalable signal processing architectures using a software test method
ITC '98 Proceedings of the 1998 IEEE International Test Conference
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Task decomposition testing and metrics for concurrent programs
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Automatic Test Generation using Checkpoint Encoding and Antirandom Testing
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Building Trust into OO Components Using a Genetic Analogy
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Algebraic Software Testing in Vector Spaces of Functions
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
From Testing to Diagnosis: An Automated Approach
Proceedings of the 19th IEEE international conference on Automated software engineering
Mutation-Based Testing Criteria for Timeliness
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra
IEEE Transactions on Software Engineering
Fault-Based Testing of Database Application Programs with Conceptual Data Model
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
MuJava: a mutation system for java
Proceedings of the 28th international conference on Software engineering
Evaluation of mutation testing for object-oriented programs
Proceedings of the 28th international conference on Software engineering
Constraint based structural testing criteria
Journal of Systems and Software
Information and Software Technology
Adaptive software testing with fixed-memory feedback
Journal of Systems and Software
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering
On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
IEEE Transactions on Software Engineering
Refinement and Test Case Generation in UTP
Electronic Notes in Theoretical Computer Science (ENTCS)
State coverage: a structural test adequacy criterion for behavior checking
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Improving random test sets using the diversity oriented test data generation
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
State coverage: a structural test adequacy criterion for behavior checking
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
An Information Theoretic Approach to Digital Fault Testing
IEEE Transactions on Computers
Modelling student behavior in algorithm simulation exercises with code mutation
Proceedings of the 6th Baltic Sea conference on Computing education research: Koli Calling 2006
An empirical, path-oriented approach to software analysis and testing
Journal of Systems and Software
A fault-tolerant approach to test control utilizing dual-redundant processors
Advances in Engineering Software
What causes a system to satisfy a specification?
ACM Transactions on Computational Logic (TOCL)
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Control
Automatic test data generation using particle systems
Proceedings of the 2008 ACM symposium on Applied computing
A detectability analysis of fault classes for Boolean specifications
Proceedings of the 2008 ACM symposium on Applied computing
Sufficient mutation operators for measuring test effectiveness
Proceedings of the 30th international conference on Software engineering
On the automation of fixing software bugs
Companion of the 30th international conference on Software engineering
Towards Mutation Analysis for Lustre Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
An experimental study of adaptive testing for software reliability assessment
Journal of Systems and Software
Certification process of software components
ACM SIGSOFT Software Engineering Notes
BERT: BEhavioral Regression Testing
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
eCAT: a tool for automating test cases generation and execution in testing multi-agent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
A mutation model for the SystemC TLM 2.0 communication interfaces
Proceedings of the conference on Design, automation and test in Europe
Residual Checking of Safety Properties
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
The Effectiveness of T-Way Test Data Generation
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
A Model-Based Framework for Security Policy Specification, Deployment and Testing
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Prioritizing software security fortification throughcode-level metrics
Proceedings of the 4th ACM workshop on Quality of protection
A transformational language for mutant description
Computer Languages, Systems and Structures
On guiding the augmentation of an automated test suite via mutation analysis
Empirical Software Engineering
Security policy testing via automated program code generation
Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies
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
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Complementary Criteria for Testing Temporal Logic Properties
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Should software testers use mutation analysis to augment a test set?
Journal of Systems and Software
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Iterative automatic test generation method for telecommunication protocols
Computer Standards & Interfaces
MUTEC: Mutation-based testing of Cross Site Scripting
IWSESS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Secure Systems
Information and Software Technology
Information Processing Letters
Mutation-based testing of integer overflow vulnerabilities
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Applying mutation analysis to SDL specifications
SDL'03 Proceedings of the 11th international conference on System design
Code-based test generation for validation of functional processor descriptions
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
An intermediate representation approach to reducing test suites for retargeted compilers
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Coverage criteria for state based specifications
Formal methods and testing
From behaviour preservation to behaviour modification: constraint-based mutant generation
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Is operator-based mutant selection superior to random mutant selection?
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Automating the mutation testing of aspect-oriented Java programs
Proceedings of the 5th Workshop on Automation of Software Test
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
Analysis of invariants for efficient bounded verification
Proceedings of the 19th international symposium on Software testing and analysis
Mutation-driven generation of unit tests and oracles
Proceedings of the 19th international symposium on Software testing and analysis
Data-driven testing methodology for RFID systems
Frontiers of Computer Science in China
Mutation analysis vs. code coverage in automated assessment of students' testing skills
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Functional qualification of TLM verification
Proceedings of the Conference on Design, Automation and Test in Europe
Fault coverage of Constrained Random Test Selection for access control: A formal analysis
Journal of Systems and Software
Efficient multi-objective higher order mutation testing with genetic programming
Journal of Systems and Software
Masking boundary value coverage: effectiveness and efficiency
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
A generic approach to run mutation analysis
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
A testing approach for XML schemas
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Proof process evaluation with mutation analysis
TAP'10 Proceedings of the 4th international conference on Tests and proofs
A practical system for mutation testing: help for the common programmer
ITC'94 Proceedings of the 1994 international conference on Test
Testing techniques in software engineering
Testing techniques in software engineering
Dependable computing: concepts, limits, challenges
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
First step towards automatic correction of firewall policy faults
LISA'10 Proceedings of the 24th international conference on Large installation system administration
Chronological fault-based mutation processes for WS-BPEL 2.0 programs
International Journal of Web Engineering and Technology
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Model-based mutation testing of hybrid systems
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
XML-manipulating test case prioritization for XML-manipulating services
Journal of Systems and Software
On the estimation of adequate test set size using fault failure rates
Journal of Systems and Software
A tester-assisted methodology for test redundancy detection
Advances in Software Engineering - Special issue on software test automation
Proteum/AJ: a mutation system for AspectJ programs
Proceedings of the tenth international conference on Aspect-oriented software development companion
Evolutionary repair of faulty software
Applied Soft Computing
Testing a binary space partitioning algorithm with metamorphic testing
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
Proceedings of the 33rd International Conference on Software Engineering
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
A novel mutation-based validation paradigm for high-level hardware descriptions
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A revisit of fault class hierarchies in general boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Scalability of the coevolutionary automated software correction system
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
Traceability for mutation analysis in model transformation
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Random vs. structure-based testing of answer-set programs: an experimental comparison
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
An aspect-oriented reference architecture for Software Engineering Environments
Journal of Systems and Software
Test-case generation for embedded simulink via formal concept analysis
Proceedings of the 48th Design Automation Conference
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
SMutant: a tool for type-sensitive mutation testing in a dynamic language
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
A service-oriented reference architecture for software testing tools
ECSA'11 Proceedings of the 5th European conference on Software architecture
Reusable MDA components: a testing-for-trust approach
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Defining and measuring policy coverage in testing access control policies
ICICS'06 Proceedings of the 8th international conference on Information and Communications Security
Message confidentiality testing of security protocols: passive monitoring and active checking
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Minimal spanning set for coverage testing of interactive systems
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Access permission contracts for scripting languages
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A method for information systems testing automation
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Testing COM components using software fault injection and mutation analysis, and its empirical study
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
A technique for fault tolerance assessment of COTS based systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Mutation analysis testing for model transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
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
Mitigating program security vulnerabilities: Approaches and challenges
ACM Computing Surveys (CSUR)
Tightening test coverage metrics: a case study in equivalence checking using k-induction
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
State coverage: software validation metrics beyond code coverage
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
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
Constraints
On generating mutants for AspectJ programs
Information and Software Technology
First step towards automatic correction of firewall policy faults
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
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
Hard-to-use evaluation criteria for software engineering
Journal of Systems and Software
Multi-objective coevolutionary automated software correction
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Proceedings of the 34th International Conference on Software Engineering
An empirical evaluation of several test-a-few strategies for testing particular conditions
Software—Practice & Experience
Software—Practice & Experience
Augmented dynamic symbolic execution
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Using models of partial knowledge to test model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
On the Reuse of TLM Mutation Analysis at RTL
Journal of Electronic Testing: Theory and Applications
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
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
ConSMutate: SQL mutants for guiding concolic testing of database applications
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
International Journal of Applied Metaheuristic Computing
Science of Computer Programming
Mutation at the multi-class and system levels
Science of Computer Programming
The crosscutting impact of the AOSD Brazilian research community
Journal of Systems and Software
Relevance and perspectives of AAL in Brazil
Journal of Systems and Software
Testing Real-Time Embedded Systems using Timed Automata based approaches
Journal of Systems and Software
Mutatis mutandis: evaluating DBMS test adequacy with mutation testing
Proceedings of the Sixth International Workshop on Testing Database Systems
Mutation testing strategies using mutant classification
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Comparing non-adequate test suites using coverage criteria
Proceedings of the 2013 International Symposium on Software Testing and Analysis
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
Observable modified Condition/Decision coverage
Proceedings of the 2013 International Conference on Software Engineering
Quantitative program slicing: separating statements by relevance
Proceedings of the 2013 International Conference on Software Engineering
Example-driven modeling: model = abstractions + examples
Proceedings of the 2013 International Conference on Software Engineering
A probabilistic analysis method for functional qualification under mutation analysis
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Toward practical mutation analysis for evaluating the quality of student-written software tests
Proceedings of the ninth annual international ACM conference on International computing education research
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
Steering symbolic execution to less traveled paths
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
BPELDebugger: An effective BPEL-specific fault localization framework
Information and Software Technology
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
Combining mutation and fault localization for automated program debugging
Journal of Systems and Software
Hi-index | 4.12 |
In many cases tests of a program that uncover simple errors are also effective in uncovering much more complex errors. This so-called coupling effect can be used to save work during the testing process.