Proceedings of the 20th IEEE/ACM international Conference on Automated 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
Adaptive random testing through iterative partitioning revisited
Proceedings of the 3rd international workshop on Software quality assurance
Information and Software Technology
Perspectives on automated testing of aspect-oriented programs
Proceedings of the 3rd workshop on Testing aspect-oriented programs
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
Using LTL rewriting to improve the performance of model-checker based test-case generation
Proceedings of the 3rd international workshop on Advances in model-based testing
A state-based approach to integration testing based on UML models
Information and Software Technology
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
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
Towards the determination of typical failure patterns
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Sufficient mutation operators for measuring test effectiveness
Proceedings of the 30th international conference on Software engineering
Towards Mutation Analysis for Lustre Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Bytecode fault injection for Java software
Journal of Systems and Software
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
Journal of Systems and Software
Reducing the Cost of Path Property Monitoring Through Sampling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
DiffGen: Automated Regression Unit-Test Generation
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
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
Analysis of invariants for efficient bounded verification
Proceedings of the 19th international symposium on Software testing and analysis
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
Efficient multi-objective higher order mutation testing with genetic programming
Journal of Systems and Software
GAmera: a Tool for WS-BPEL composition testing using mutation analysis
ICWE'10 Proceedings of the 10th international conference on Web engineering
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
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
Experimental comparison of concolic and random testing for java card applets
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Testing and validating machine learning classifiers by metamorphic testing
Journal of Systems and Software
Advances in Software Engineering - Special issue on software test automation
Information Sciences: an International Journal
Evolutionary repair of faulty software
Applied Soft Computing
Proceedings of the 6th International Workshop on Automation of Software Test
A decision support system for the classification of software coding faults: a research abstract
Proceedings of the 33rd International Conference on Software Engineering
On effective testing of health care simulation software
Proceedings of the 3rd Workshop on Software Engineering in Health Care
Adaptive random testing: an illusion of effectiveness?
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Searching for invariants using genetic programming and mutation testing
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Concurrency-oriented verification and coverage of system-level designs
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Traceability for mutation analysis in model transformation
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
An empirical validation of a web fault taxonomy and its usage for web testing
Journal of Web Engineering
Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Automating unit and integration testing with partial oracles
Software Quality Control
Safira: a tool for evaluating behavior preservation
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Lattice-Based Sampling for Path Property Monitoring
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reusable MDA components: a testing-for-trust approach
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
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
Evaluating test selection strategies for end-user specified flow-based applications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
On generating mutants for AspectJ programs
Information and Software Technology
Testing aspect-oriented programs with finite state machines
Software Testing, Verification & Reliability
Test data regeneration: generating new test data from existing test data
Software Testing, Verification & Reliability
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
Proceedings of the 2012 International Symposium on Software Testing and Analysis
On-demand test suite reduction
Proceedings of the 34th International Conference on Software Engineering
Object-Oriented testing capabilities and performance evaluation of the c# mutation system
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Quality evaluation of object-oriented and standard mutation operators applied to c# programs
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Using coverage criteria on RepOK to reduce bounded-exhaustive test suites
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
XEMU: an efficient QEMU based binary mutation testing framework for embedded software
Proceedings of the tenth ACM international conference on Embedded software
Generation of TLM testbenches using mutation testing
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
On the Reuse of TLM Mutation Analysis at RTL
Journal of Electronic Testing: Theory and Applications
Mutation at the multi-class and system levels
Science of Computer Programming
Test case generation from natural language requirements based on SCR specifications
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Bridging the gap between the total and additional test-case prioritization strategies
Proceedings of the 2013 International Conference on Software Engineering
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
Critical components testing using hybrid genetic algorithm
ACM SIGSOFT Software Engineering Notes
Combining mutation and fault localization for automated program debugging
Journal of Systems and Software
Hi-index | 0.00 |
Several module and class testing techniques have been applied to object-oriented (OO) programs, but researchers have only recently begun developing test criteria that evaluate the use of key OO features such as inheritance, polymorphism, and encapsulation. Mutation testing is a powerful testing technique for generating software tests and evaluating the quality of software. However, the cost of mutation testing has traditionally been so high that it cannot be applied without full automated tool support. This paper presents a method to reduce the execution cost of mutation testing for OO programs by using two key technologies, mutant schemata generation (MSG) and bytecode translation. This method adapts the existing MSG method for mutants that change the program behaviour and uses bytecode translation for mutants that change the program structure. A key advantage is in performance: only two compilations are required and both the compilation and execution time for each is greatly reduced. A mutation tool based on the MSG/bytecode translation method has been built and used to measure the speedup over the separate compilation approach. Experimental results show that the MSG/bytecode translation method is about five times faster than separate compilation. Copyright © 2004 John Wiley & Sons, Ltd.