Mutation Testing Publications

Search results for "all papers", found 857 papers, 1 pages

1Mike Papadakis and Marinos Kintis and Jie Zhang and Yue Jia and Yves Le Traon and Mark Harman
Mutation Testing Advances: An Analysis and Survey
Unknown-
BibTeX | Abstract | URL
2Mike Papadakis and Donghwan Shin and Shin Yoo and Doo{-}Hwan Bae
Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults
Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - 3 June, 2018, 2018.
BibTeX | Abstract | URL
3Michael Marcozzi and Sebastien Bardin and Nikolai Kosmatov and Mike Papadakis and Virgile Prevosto and Loïc Correnson
Time to Clean your Test Objectives
Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - 3 June, 2018, 2018.
BibTeX | Abstract | URL
4Rudolf Ramler and Thomas Wetzlmaier and Claus Klammer
An empirical study on the application of mutation testing for a safety-critical industrial software system
Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017, 2017.
BibTeX | Abstract | PDF | DOI
5Jabbarvand, Reyhaneh and Malek, Sam
{mu}Droid: An Energy-aware Mutation Testing Framework for Android
Proceedings of the 2017 11th Joint Meeting on Foundations of Software EngineeringNew York, NY, USA, 2017.
BibTeX | Abstract | PDF | DOI
6V. H. S. Durelli and N. M. De Souza and M. E. Delamaro
Are Deletion Mutants Easier to Identify Manually?
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
7R. Gopinath and E. Walkingshaw
How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
8Matthew Patrick and Yue Jia
{KD-ART:} Should we intensify or diversify tests to kill mutants?
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
9Xavier Devroey and Gilles Perrouin and Mike Papadakis and Axel Legay and Pierre{-}Yves Schobbens and Patrick Heymans
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation
2017 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017, 2017.
BibTeX | Abstract | PDF | DOI
10M. Marcozzi and M. Delahaye and S. Bardin and N. Kosmatov and V. Prevosto
Generic and Effective Specification of Structural Test Objectives
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), March 2017.
BibTeX | Abstract | URL | DOI
11M. Trakhtenbrot
Mutation Patterns for Temporal Requirements of Reactive Systems
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
12Brown, David Bingham and Vaughn, Michael and Liblit, Ben and Reps, Thomas
The Care and Feeding of Wild-caught Mutants
Proceedings of the 2017 11th Joint Meeting on Foundations of Software EngineeringNew York, NY, USA, 2017.
BibTeX | Abstract | PDF | DOI
13I. Ahmed and C. Jensen and A. Groce and P. E. McKenney
Applying Mutation Analysis on Kernel Test Suites: An Experience Report
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
14P. Arcaini and A. Gargantini and E. Riccobene
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
15B. Lisper and B. Lindström and P. Potena and M. Saadatmand and M. Bohlin
Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
16C. Iida and S. Takada
Reducing Mutants with Mutant Killable Precondition
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
17K. G. Larsen and F. Lorber and B. Nielsen and U. M. Nyman
Mutation-Based Test-Case Generation with Ecdar
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
18D. Shin and S. Yoo and D. H. Bae
A Theoretical and Empirical Study of Diversity-aware Mutation Adequacy Criterion
IEEE Transactions on Software Engineering, PP(99), 2017.
BibTeX | Abstract | URL | DOI
19Thomas Loise and Xavier Devroey and Gilles Perrouin and Mike Papadakis and Patrick Heymans
Towards Security-Aware Mutation Testing
2017 {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March 13-17, 2017, 2017.
BibTeX | Abstract | PDF | DOI
20Linares-V\'{a}squez, Mario and Bavota, Gabriele and Tufano, Michele and Moran, Kevin and Di Penta, Massimiliano and Vendome, Christopher and Bernal-C\'{a}rdenas, Carlos and Poshyvanyk, Denys
Enabling Mutation Testing for Android Apps
Proceedings of the 2017 11th Joint Meeting on Foundations of Software EngineeringNew York, NY, USA, 2017.
BibTeX | Abstract | PDF | DOI
21Parsai, Ali and Murgia, Alessandro and Demeyer, Serge
LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems
Unknown-
BibTeX | Abstract | URL | DOI
22William B. Langdon and Brian Yee Hong Lam and Marc Modat and Justyna Petke and Mark Harman
Genetic improvement of {GPU} software
Genetic Programming and Evolvable Machines, 18(1), 2017.
BibTeX | Abstract | PDF | DOI
23Elmahdi Omar and Sudipto Ghosh and Darrell Whitley
Subtle higher order mutants
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
24Su, Ting and Meng, Guozhu and Chen, Yuting and Wu, Ke and Yang, Weiming and Yao, Yao and Pu, Geguang and Liu, Yang and Su, Zhendong
Guided, Stochastic Model-based GUI Testing of Android Apps
Proceedings of the 2017 11th Joint Meeting on Foundations of Software EngineeringNew York, NY, USA, 2017.
BibTeX | Abstract | PDF | DOI
25Wang, Bo and Xiong, Yingfei and Shi, Yangqingwei and Zhang, Lu and Hao, Dan
Faster Mutation Analysis via Equivalence Modulo States
, (), 2017.
BibTeX | Abstract | PDF | DOI
26M. P. Usaola and G. Rojas and I. Rodríguez and S. Hernández
An Architecture for the Development of Mutation Operators
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
27Andr{\'{a}}s M{\'{a}}rki and Birgitta Lindstr{\"{o}}m
Mutation tools for Java
Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017, 2017.
BibTeX | Abstract | PDF | DOI
28J. Petke and S. Haraldsson and M. Harman and w. langdon and D. White and J. Woodward
Genetic Improvement of Software: a Comprehensive Survey
IEEE Transactions on Evolutionary Computation, PP(99), 2017.
BibTeX | Abstract | URL | DOI
29T. Laurent and M. Papadakis and M. Kintis and C. Henard and Y. L. Traon and A. Ventresque
Assessing and Improving the Mutation Testing Practice of PIT
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), March 2017.
BibTeX | Abstract | URL | DOI
30Val{\'{e}}ria Lelli and Arnaud Blouin and Benoit Baudry
Classifying and Qualifying {GUI} Defects
CoRR, abs/1703.09567(), 2017.
BibTeX | Abstract | PDF
31Ren{\'{e}} Just and Bob Kurtz and Paul Ammann
Inferring mutant utility from program context
Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, 2017.
BibTeX | Abstract | PDF | DOI
32M. Kintis and Papadakis, Mike and Papadopoulos, Andreas and Valvis, Evangelos and Malevris, Nicos and Yves {Le Traon}
How Effective Mutation Testing Tools Are? {A}n Empirical Analysis of {J}ava Mutation Testing Tools with Manual Analysis and Real Faults
\textbf{Empirical Software Engineering} (\textbf{EMSE}), (), 2017.
BibTeX | Abstract | URL | DOI
33Thierry Titcheu Chekam and Mike Papadakis and Yves Le Traon and Mark Harman
An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption
Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017, 2017.
BibTeX | Abstract | PDF
34R. Gopinath and C. Jensen and A. Groce
The Theory of Composite Faults
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), March 2017.
BibTeX | Abstract | URL | DOI
35B. K. Aichernig and S. Marcovic and R. Schumi
Property-Based Testing with External Test-Case Generators
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
36Q. Zhu and A. Panichella and A. Zaidman
Speeding-Up Mutation Testing via Data Compression and State Infection
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
37Lin Deng and Jeff Offutt and Paul Ammann and Nariman Mirzaei
Mutation operators for testing Android apps
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
38Fan Wu and Jay Nanavati and Mark Harman and Yue Jia and Jens Krinke
Memory mutation testing
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
39M. Kintis and M. Papadakis and Y. Jia and N. Malevris and Y. Le Traon and M. Harman
Detecting Trivial Mutant Equivalences via Compiler Optimisations
IEEE Transactions on Software Engineering, PP(99), 2017.
BibTeX | Abstract | URL | DOI
40Alex D. B. Alberto and Ana Cavalcanti and Marie{-}Claude Gaudel and Adenilso Sim{\~{a}}o
Formal mutation testing for Circus
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
41Dunwei Gong and Gongjie Zhang and Xiangjuan Yao and Fanlin Meng
Mutant reduction based on dominance relation for weak mutation testing
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
42Chang{-}ai Sun and Feifei Xue and Huai Liu and Xiangyu Zhang
A path-aware approach to mutant reduction in mutation testing
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
43Rodolfo Adamshuk Silva and Simone do Rocio Senger de Souza and Paulo Sergio Lopes de Souza
A systematic review on search based mutation testing
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
44U. Praphamontripong and J. Offutt
Finding Redundancy in Web Mutation Operators
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
45Shin Hong and Taehoon Kwak and Byeongcheol Lee and Yiru Jeon and Bongseok Ko and Yunho Kim and Moonzoo Kim
{MUSEUM:} Debugging real-world multilingual programs using mutation analysis
Information {\&} Software Technology, 82(), 2017.
BibTeX | Abstract | PDF | DOI
46Delgado-Pérez, Pedro and Segura, Sergio and Medina-Bulo, Inmaculada
Assessment of C++ object-oriented mutation operators: A selective mutation approach
Software Testing, Verification and Reliability, 27(), 2017.
BibTeX | Abstract | PDF | DOI
47Jos{\'{e}} Miguel Rojas and Thomas D. White and Benjamin S. Clegg and Gordon Fraser
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game
Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017, 2017.
BibTeX | Abstract | PDF
48Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene and Paolo Vavassori
A novel use of equivalent mutants for static anomaly detection in software artifacts
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
49A. Sullivan and K. Wang and R. N. Zaeem and S. Khurshid
Automated Test Generation and Mutation Testing for Alloy
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), March 2017.
BibTeX | Abstract | URL | DOI
50Fernandes, Leonardo and Ribeiro, M\'{a}rcio and Carvalho, Luiz and Gheyi, Rohit and Mongiovi, Melina and Santos, Andr{\'e} and Cavalcanti, Ana and Ferrari, Fabiano and Maldonado, Jos{\'e} Carlos
Avoiding Useless Mutants
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and ExperiencesNew York, NY, USA, 2017.
BibTeX | Abstract | URL | DOI
51Pedro Delgado{-}P{\'{e}}rez and Inmaculada Medina{-}Bulo and Francisco Palomo{-}Lozano and Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez
Assessment of class mutation operators for {C++} with the MuCPP mutation system
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
52D{\'{a}}vid Tengeri and L{\'{a}}szl{\'{o}} Vid{\'{a}}cs and {\'{A}}rp{\'{a}}d Besz{\'{e}}des and Judit J{\'{a}}sz and Gergo Balogh and Bela Vancsics and Tibor Gyim{\'{o}}thy
Relating Code Coverage, Mutation Score and Test Suite Reducibility to Defect Density
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
53Birgitta Lindstr{\"{o}}m and Andras Marki
On Strong Mutation and Subsuming Mutants
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
54Marinos Kintis
Effective Methods to Tackle the Equivalent Mutant Problem when Testing Software with Mutation
Department of Informatics, Athens University of Economics and Business, , 2016.Unknown-
BibTeX | Abstract | URL
55Gunel Jahangirova and David Clark and Mark Harman and Paolo Tonella
Test oracle assessment and improvement
Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016, 2016.
BibTeX | Abstract | PDF | DOI
56David Bowes and Tracy Hall and Mark Harman and Yue Jia and Federica Sarro and Fan Wu
Mutation-aware fault prediction
Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016, 2016.
BibTeX | Abstract | PDF | DOI
57Frolin S. Ocariza Jr. and Guanpeng Li and Karthik Pattabiraman and Ali Mesbah
Automatic fault localization for client-side JavaScript
Softw. Test., Verif. Reliab., 26(1), 2016.
BibTeX | Abstract | PDF | DOI
58Thierry Titcheu Chekam and Mike Papadakis and Yves Le Traon
Assessing and Comparing Mutation-based Fault Localization Techniques
CoRR, abs/1607.05512(), 2016.
BibTeX | Abstract | PDF
59Hiroaki Yoshida and Susumu Tokumoto and Mukul R. Prasad and Indradeep Ghosh and Tadahiro Uehara
{FSX:} fine-grained incremental unit test generation for {C/C++} programs
Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016, 2016.
BibTeX | Abstract | PDF | DOI
60Henry Coles and Thomas Laurent and Christopher Henard and Mike Papadakis and Anthony Ventresque
{PIT:} a practical mutation testing tool for Java (demo)
Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016, 2016.
BibTeX | Abstract | PDF | DOI
61Ali Parsai and Alessandro Murgia and Serge Demeyer
A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage
2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2016, Vienna, Austria, August 1-3, 2016, 2016.
BibTeX | Abstract | PDF | DOI
62Vincenzo Musco and Martin Monperrus and Philippe Preux
Mutation-Based Graph Inference for Fault Localization
16th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2016, Raleigh, NC, USA, October 2-3, 2016, 2016.
BibTeX | Abstract | PDF | DOI
63Willem Visser
What makes killing a mutant hard
Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016, 2016.
BibTeX | Abstract | PDF | DOI
64Dan Hao and Lu Zhang and Lei Zang and Yanbo Wang and Xingxia Wu and Tao Xie
To Be Optimal or Not in Test-Case Prioritization
{IEEE} Trans. Software Eng., 42(5), 2016.
BibTeX | Abstract | PDF | DOI
65Everton L. G. Alves and Patr{\'{\i}}cia D. L. Machado and Tiago Massoni and Miryung Kim
Prioritizing test cases for early detection of refactoring faults
Softw. Test., Verif. Reliab., 26(5), 2016.
BibTeX | Abstract | PDF | DOI
66Fevzi Belli and Christof J. Budnik and Axel Hollmann and Tugkan Tuglular and W. Eric Wong
Model-based mutation testing - Approach and case studies
Sci. Comput. Program., 120(), 2016.
BibTeX | Abstract | PDF | DOI
67Francisco Carlos M. Souza and Mike Papadakis and Yves Le Traon and M{\'{a}}rcio Eduardo Delamaro
Strong mutation-based test data generation using hill climbing
Proceedings of the 9th International Workshop on Search-Based Software Testing, SBST@ICSE 2016, Austin, Texas, USA, May 14-22, 2016, 2016.
BibTeX | Abstract | PDF | DOI
68Upsorn Praphamontripong and Jeff Offutt and Lin Deng and Jingjing Gu
An Experimental Evaluation of Web Mutation Operators
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
69Hiroaki Yoshida and Susumu Tokumoto and Mukul R. Prasad and Indradeep Ghosh and Tadahiro Uehara
{FSX:} a tool for fine-grained incremental unit test generation for {C/C++} programs
Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016, 2016.
BibTeX | Abstract | PDF | DOI
70Javier Tuya and Claudio de la Riva and Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and Raquel Blanco
Coverage-Aware Test Database Reduction
{IEEE} Trans. Software Eng., 42(10), 2016.
BibTeX | Abstract | PDF | DOI
71Mohammad Amin Alipour and August Shi and Rahul Gopinath and Darko Marinov and Alex Groce
Evaluating non-adequate test-case reduction
Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016, 2016.
BibTeX | Abstract | PDF | DOI
72Farah Hariri and August Shi and Hayes Converse and Sarfraz Khurshid and Darko Marinov
Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler {IR} Level
27th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2016, Ottawa, ON, Canada, October 23-27, 2016, 2016.
BibTeX | Abstract | PDF | DOI
73Jos{\'{e}} Miguel Rojas and Gordon Fraser and Andrea Arcuri
Seeding strategies in search-based unit test generation
Softw. Test., Verif. Reliab., 26(5), 2016.
BibTeX | Abstract | PDF | DOI
74Christopher Henard and Mike Papadakis and Mark Harman and Yue Jia and Yves Le Traon
Comparing white-box and black-box test prioritization
Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016, 2016.
BibTeX | Abstract | PDF | DOI
75Yafeng Lu and Yiling Lou and Shiyang Cheng and Lingming Zhang and Dan Hao and Yangfan Zhou and Lu Zhang
How does regression test prioritization perform in real-world software evolution?
Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016, 2016.
BibTeX | Abstract | PDF | DOI
76Jie Zhang and Ziyi Wang and Lingming Zhang and Dan Hao and Lei Zang and Shiyang Cheng and Lu Zhang
Predictive mutation testing
Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016, 2016.
BibTeX | Abstract | PDF | DOI
77Fan Wu and Mark Harman and Yue Jia and Jens Krinke
{HOMI:} Searching Higher Order Mutants for Software Improvement
Search Based Software Engineering - 8th International Symposium, {SSBSE} 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings, 2016.
BibTeX | Abstract | PDF | DOI
78Paolo Arcaini and Angelo Gargantini and Paolo Vavassori
Automatic Detection and Removal of Conformance Faults in Feature Models
2016 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
79Mike Papadakis and Christopher Henard and Mark Harman and Yue Jia and Yves Le Traon
Threats to the validity of mutation-based test assessment
Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016, 2016.
BibTeX | Abstract | PDF | DOI
80Xavier Devroey and Gilles Perrouin and Mike Papadakis and Axel Legay and Pierre{-}Yves Schobbens and Patrick Heymans
Featured model-based mutation analysis
Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016, 2016.
BibTeX | Abstract | PDF | DOI
81Rui Angelo Matnei Filho and Silvia Regina Vergilio
A multi-objective test data generation approach for mutation testing of feature models
J. Software Eng. R{\&}D, 4(), 2016.
BibTeX | Abstract | PDF | DOI
82Mustafa Al{-}Hajjaji and Fabian Benduhn and Thomas Th{\"{u}}m and Thomas Leich and Gunter Saake
Mutation Operators for Preprocessor-Based Variability
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016, 2016.
BibTeX | Abstract | PDF | DOI
83Marinos Kintis and Mike Papadakis and Andreas Papadopoulos and Evangelos Valvis and Nicos Malevris
Analysing and Comparing the Effectiveness of Mutation Testing Tools: {A} Manual Study
16th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2016, Raleigh, NC, USA, October 2-3, 2016, 2016.
BibTeX | Abstract | PDF | DOI
84Paul Ammann and Jeff Offutt
Introduction to software testing
Unknown-
BibTeX | Abstract | URL
85Reza Matinnejad and Shiva Nejati and Lionel C. Briand and Thomas Bruckmann
Automated test suite generation for time-continuous simulink models
Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016, 2016.
BibTeX | Abstract | PDF | DOI
86Eduard Paul Enoiu and Adnan Causevic and Daniel Sundmark and Paul Pettersson
A Controlled Experiment in Testing of Safety-Critical Embedded Software
2016 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
87Bob Kurtz and Paul Ammann and Jeff Offutt and Mariet Kurtz
Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
88Rahul Gopinath and Mohammad Amin Alipour and Iftekhar Ahmed and Carlos Jensen and Alex Groce
On the limits of mutation reduction strategies
Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016, 2016.
BibTeX | Abstract | PDF | DOI
89Bob Kurtz and Paul Ammann and Jeff Offutt and M{\'{a}}rcio Eduardo Delamaro and Mariet Kurtz and Nida G{\"{o}}k{\c{c}}e
Analyzing the validity of selective mutation with dominator mutants
Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016, 2016.
BibTeX | Abstract | PDF | DOI
90Iftekhar Ahmed and Rahul Gopinath and Caius Brindescu and Alex Groce and Carlos Jensen
Can testedness be effectively measured?
Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016, 2016.
BibTeX | Abstract | PDF | DOI
91Jos{\'{e}} Miguel Rojas and Gordon Fraser
Code Defenders: {A} Mutation Testing Game
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
92Dominik Holling and Sebastian Banescu and Marco Probst and Ana Petrovska and Alexander Pretschner
Nequivack: Assessing Mutation Score Confidence
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
93Donghwan Shin and Shin Yoo and Doo{-}Hwan Bae
Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
94Jie Zhang and Yiling Lou and Lingming Zhang and Dan Hao and Lu Zhang and Hong Mei
Isomorphic regression testing: executing uncovered branches without test augmentation
Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016, 2016.
BibTeX | Abstract | PDF | DOI
95Ingo Pill and Ivan Rubil and Franz Wotawa and Mihai Nica
{SIMULTATE:} {A} Toolset for Fault Injection and Mutation Testing of Simulink Models
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
96Gopinath, Rahul and Ahmed, Iftekhar and Alipour, Mohammad Amin and Jensen, Carlos and Groce, Alex
Does choice of mutation tool matter?
Software Quality Journal, (), 2016.
BibTeX | Abstract | PDF | DOI
97Matthew Patrick and Andrew P. Craig and Nik J. Cunniffe and Matthew Parry and Christopher A. Gilligan
Testing stochastic software using pseudo-oracles
Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016, 2016.
BibTeX | Abstract | PDF | DOI
98Susumu Tokumoto and Hiroaki Yoshida and Kazunori Sakamoto and Shinichi Honiden
MuVM: Higher Order Mutation Analysis Virtual Machine for {C}
2016 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
99Thomas Laurent and Anthony Ventresque and Mike Papadakis and Christopher Henard and Yves Le Traon
Assessing and Improving the Mutation Testing Practice of {PIT}
CoRR, abs/1601.02351(), 2016.
BibTeX | Abstract | PDF
100Birgitta Lindstr{\"{o}}m and Sten F. Andler and Jeff Offutt and Paul Pettersson and Daniel Sundmark
Mutating aspect-oriented models to test cross-cutting concerns
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
101Rafael A. P. Oliveira and Emil Al{\'{e}}groth and Zebao Gao and Atif M. Memon
Definition and evaluation of mutation operators for GUI-level mutation analysis
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
102Earl T. Barr and Mark Harman and Phil McMinn and Muzammil Shahbaz and Shin Yoo
The Oracle Problem in Software Testing: {A} Survey
{IEEE} Trans. Software Eng., 41(5), 2015.
BibTeX | Abstract | PDF | DOI
103Bob Kurtz and Paul Ammann and Jeff Offutt
Static analysis of mutant subsumption
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
104Yue Jia and Fan Wu and Mark Harman and Jens Krinke
Genetic Improvement using Higher Order Mutation
Genetic and Evolutionary Computation Conference, {GECCO} 2015, Madrid, Spain, July 11-15, 2015, Companion Material Proceedings, 2015.
BibTeX | Abstract | PDF | DOI
105Yiling Lou and Dan Hao and Lu Zhang
Mutation-based test-case prioritization in software evolution
26th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015, 2015.
BibTeX | Abstract | PDF | DOI
106Paolo Arcaini and Angelo Gargantini and Paolo Vavassori
Generating Tests for Detecting Faults in Feature Models
8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
107Daniel Di Nardo and Fabrizio Pastore and Lionel C. Briand
Generating Complex and Faulty Test Data through Model-Based Mutation Analysis
8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
108Matthew Patrick and Yue Jia
Kernel Density Adaptive Random Testing
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
109Mike Papadakis and Yue Jia and Mark Harman and Yves Le Traon
Trivial Compiler Equivalence: {A} Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1, 2015.
BibTeX | Abstract | PDF | DOI
110Thomas A. Walsh and Phil McMinn and Gregory M. Kapfhammer
Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages {(N)}
30th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015, 2015.
BibTeX | Abstract | PDF | DOI
111Emil Al{\'{e}}groth and Zebao Gao and Rafael Alves Paes de Oliveira and Atif M. Memon
Conceptualization and Evaluation of Component-Based Testing Unified with Visual {GUI} Testing: An Empirical Study
8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
112Zhiqiang Zhang and Tianyong Wu and Jian Zhang
Boundary value analysis in automatic white-box test generation
26th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015, 2015.
BibTeX | Abstract | PDF | DOI
113Lin Deng and Nariman Mirzaei and Paul Ammann and Jeff Offutt
Towards mutation analysis of Android apps
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
114Shin Hwei Tan and Abhik Roychoudhury
relifix: Automated Repair of Software Regressions
37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1, 2015.
BibTeX | Abstract | PDF | DOI
115Pei Gong and Ruilian Zhao and Zheng Li
Faster mutation-based fault localization with a novel mutation execution strategy
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
116Frolin S. Ocariza Jr. and Karthik Pattabiraman and Ali Mesbah
Detecting Inconsistencies in JavaScript {MVC} Applications
37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1, 2015.
BibTeX | Abstract | PDF | DOI
117Marinos Kintis and Mike Papadakis and Nicos Malevris
Employing second-order mutation for isolating first-order equivalent mutants
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
118Rui Abreu and Birgit Hofer and Alexandre Perez and Franz Wotawa
Using constraints to diagnose faulty spreadsheets
Software Quality Journal, 23(2), 2015.
BibTeX | Abstract | PDF | DOI
119Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene and Paolo Vavassori
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
120Shin Hong and Byeongcheol Lee and Taehoon Kwak and Yiru Jeon and Bongsuk Ko and Yunho Kim and Moonzoo Kim
Mutation-Based Fault Localization for Real-World Multilingual Programs {(T)}
30th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015, 2015.
BibTeX | Abstract | PDF | DOI
121Jay Nanavati and Fan Wu and Mark Harman and Yue Jia and Jens Krinke
Mutation testing of memory-related operators
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
122Bernhard K. Aichernig and Florian Lorber
Towards generation of adaptive test cases from partial models of determinized timed automata
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
123Fevzi Belli and Mutlu Beyazit and Andr{\'{e}} Takeshi Endo and Aditya P. Mathur and Adenilso da Silva Sim{\~{a}}o
Fault domain-based testing in imperfect situations: a heuristic approach and case studies
Software Quality Journal, 23(3), 2015.
BibTeX | Abstract | PDF | DOI
124Javier Troya and Alexander Bergmayr and Loli Burgue{\~{n}}o and Manuel Wimmer
Towards systematic mutations for and with {ATL} model transformations
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
125Fan Long and Martin Rinard
Staged program repair with condition synthesis
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September 4, 2015, 2015.
BibTeX | Abstract | PDF | DOI
126Mike Papadakis and Yves Le Traon
Metallaxis-FL: mutation-based fault localization
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
127Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman
Guided Mutation Testing for JavaScript Web Applications
{IEEE} Trans. Software Eng., 41(5), 2015.
BibTeX | Abstract | PDF | DOI
128Kay H. Brodersen and Fabian Gallusser and Jim Koehler and Nicolas Remy and Steven L. Scott
Inferring causal impact using Bayesian structural time-series models
Annals of Applied Statistics, 9(), 2015.
BibTeX | Abstract | URL
129Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
{ACM} Trans. Softw. Eng. Methodol., 24(4), 2015.
BibTeX | Abstract | PDF | DOI
130Gordon Fraser and Andrea Arcuri
Achieving scalable mutation-based generation of whole test suites
Empirical Software Engineering, 20(3), 2015.
BibTeX | Abstract | PDF | DOI
131Marinos Kintis and Nicos Malevris
{MEDIC:} {A} static analysis framework for equivalent mutant identification
Information {\&} Software Technology, 68(), 2015.
BibTeX | Abstract | PDF | DOI
132W. Krenn and R. Schlick and S. Tiran and B. Aichernig and E. Jobstl and H. Brandl
MoMut::UML Model-Based Mutation Testing for UML
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), April 2015.
BibTeX | Abstract | URL | DOI
133Fr{\'{e}}d{\'{e}}ric Dadeau and Pierre{-}Cyrille H{\'{e}}am and Rafik Kheddam and Ghazi Maatoug and Micha{\"{e}}l Rusinowitch
Model-based mutation testing from security protocols in {HLPSL}
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
134Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene
Using mutation to assess fault detection capability of model review
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
135Ren{\'{e}} Just and Franz Schweiggert
Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
136Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman
{JSEFT:} Automated Javascript Unit Test Generation
8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
137X. Devroey and G. Perrouin and P. Y. Schobbens and P. Heymans
Poster: VIBeS, Transition System Mutation Made Easy
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, May 2015.
BibTeX | Abstract | URL | DOI
138Vincent Aranega and Jean{-}Marie Mottu and Anne Etien and Thomas Degueule and Benoit Baudry and Jean{-}Luc Dekeyser
Towards an automation of the mutation analysis dedicated to model transformation
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
139Akbar Siami Namin and Xiaozhen Xue and Omar Rosas and Pankaj Sharma
MuRanker: a mutant ranking tool
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
140Pedro Reales Mateo and Macario Polo Usaola
Reducing mutation costs through uncovered mutants
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
141Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"{o}}bstl and Willibald Krenn and Rupert Schlick and Stefan Tiran
Killing strategies for model-based mutation testing
Softw. Test., Verif. Reliab., 25(8), 2015.
BibTeX | Abstract | PDF | DOI
142Fevzi Belli and Mutlu Beyazit
Exploiting Model Morphology for Event-Based Testing
{IEEE} Trans. Software Eng., 41(2), 2015.
BibTeX | Abstract | PDF | DOI
143Tosapon Pankumhang and Matthew Rutherford
Iterative Instrumentation for Code Coverage in Time-Sensitive Systems
8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
144Juan P. Galeotti and Carlo A. Furia and Eva May and Gordon Fraser and Andreas Zeller
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
{IEEE} Trans. Software Eng., 41(10), 2015.
BibTeX | Abstract | PDF | DOI
145Jie Zhang
Scalability Studies on Selective Mutation Testing
37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2, 2015.
BibTeX | Abstract | PDF | DOI
146Nan Li and Michael West and Anthony Escalona and Vinicius H. S. Durelli
Mutation testing in practice using Ruby
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
147Jing Guan and Jeff Offutt
A model-based testing technique for component-based real-time embedded systems
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
148Gregory Gay and Matt Staats and Michael W. Whalen and Mats Per Erik Heimdahl
Automated Oracle Data Selection Support
{IEEE} Trans. Software Eng., 41(11), 2015.
BibTeX | Abstract | PDF | DOI
149Alex Groce and Iftekhar Ahmed and Carlos Jensen and Paul E. McKenney
How Verified is My Code? Falsification-Driven Verification {(T)}
30th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015, 2015.
BibTeX | Abstract | PDF | DOI
150S{\'{e}}bastien Bardin and Micka{\"{e}}l Delahaye and Robin David and Nikolai Kosmatov and Mike Papadakis and Yves Le Traon and Jean{-}Yves Marion
Sound and Quasi-Complete Detection of Infeasible Test Requirements
8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
151Rahul Gopinath and Amin Alipour and Iftekhar Ahmed and Carlos Jensen and Alex Groce
How hard does mutation analysis have to be, anyway?
26th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015, 2015.
BibTeX | Abstract | PDF | DOI
152Rui Angelo Matnei Filho and Silvia Regina Vergilio
A Mutation and Multi-objective Test Data Generation Approach for Feature Testing of Software Product Lines
29th Brazilian Symposium on Software Engineering, {SBES} 2015, Belo Horizonte, MG, Brazil, September 21-26, 2015, 2015.
BibTeX | Abstract | PDF | DOI
153Sonal Mahajan and William G. J. Halfond
Finding {HTML} presentation failures using image comparison techniques
{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014, 2014.
BibTeX | Abstract | PDF | DOI
154Khaled El{-}Fakih and Adenilso Sim{\~{a}}o and Noshad Jadoon and Jos{\'{e}} Carlos Maldonado
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
155Kohei Maruchi and Hiromasa Shin and Masahiro Sakai
MC/DC-Like Structural Coverage Criteria for Function Block Diagrams
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
156Mike Papadakis and Christopher Henard and Yves Le Traon
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
157Laura Inozemtseva and Reid Holmes
Coverage is not strongly correlated with test suite effectiveness
36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
BibTeX | Abstract | PDF | DOI
158Wang, Yan Rong and Yin, Yong Feng and Zhou, Yi Bin
Research and Improvements on Mutation Operators for Simulink Models
Manufacturing Technology, Electronics, Computer and Information Technology Applications, 12 2014.
BibTeX | Abstract | URL | DOI
159M{\'{a}}rcio Eduardo Delamaro and Jeff Offutt and Paul Ammann
Designing Deletion Mutation Operators
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
160Guowei Yang and Suzette Person and Neha Rungta and Sarfraz Khurshid
Directed Incremental Symbolic Execution
{ACM} Trans. Softw. Eng. Methodol., 24(1), 2014.
BibTeX | Abstract | PDF | DOI
161Ren{\'{e}} Just
The major mutation framework: efficient and scalable mutation analysis for Java
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014.
BibTeX | Abstract | PDF | DOI
162Lech Madeyski and Wojciech Orzeszyna and Richard Torkar and Mariusz Jozala
Overcoming the Equivalent Mutant Problem: {A} Systematic Literature Review and a Comparative Experiment of Second Order Mutation
{IEEE} Trans. Software Eng., 40(1), 2014.
BibTeX | Abstract | PDF | DOI
163Mike Papadakis and Yves Le Traon
Effective fault localization via mutation analysis: a selective mutation approach
Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, 2014.
BibTeX | Abstract | PDF | DOI
164Benoit Baudry and Simon Allier and Martin Monperrus
Tailored source code transformations to synthesize computationally diverse program variants
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014.
BibTeX | Abstract | PDF | DOI
165Yuta Maezawa and Kazuki Nishiura and Hironori Washizaki and Shinichi Honiden
Validating ajax applications using a delay-based mutation technique
{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014, 2014.
BibTeX | Abstract | PDF | DOI
166Antonia Bertolino and Said Daoudagh and Francesca Lonetti and Eda Marchetti and Fabio Martinelli and Paolo Mori
Testing of PolPA-based usage control systems
Software Quality Journal, 22(2), 2014.
BibTeX | Abstract | PDF | DOI
167Elmahdi Omar and Sudipto Ghosh and Darrell Whitley
{HOMAJ:} {A} Tool for Higher Order Mutation Testing in AspectJ and Java
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
168Duc Le and Mohammad Amin Alipour and Rahul Gopinath and Alex Groce
MuCheck: an extensible tool for mutation testing of haskell programs
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014.
BibTeX | Abstract | PDF | DOI
169Matthew Stephan and Manar H. Alalfi and James R. Cordy
Towards a Taxonomy for Simulink Model Mutations
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
170M{\'{a}}rcio Eduardo Delamaro and Lin Deng and Vinicius Humberto Serapilha Durelli and Nan Li and Jeff Offutt
Experimental Evaluation of {SDL} and One-Op Mutation for {C}
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
171Rahul Gopinath and Carlos Jensen and Alex Groce
Mutations: How Close are they to Real Faults?
25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014, 2014.
BibTeX | Abstract | PDF | DOI
172Mike Papadakis and M{\'{a}}rcio Eduardo Delamaro and Yves Le Traon
Mitigating the effects of equivalent mutants with mutant classification strategies
Sci. Comput. Program., 95(), 2014.
BibTeX | Abstract | PDF | DOI
173Jie Zhang and Muyao Zhu and Dan Hao and Lu Zhang
An Empirical Study on the Scalability of Selective Mutation Testing
25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014, 2014.
BibTeX | Abstract | PDF | DOI
174Ren{\'{e}} Just and Michael D. Ernst and Gordon Fraser
Efficient mutation analysis by propagating and partitioning infected execution states
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014.
BibTeX | Abstract | PDF | DOI
175Souza, F. C. and Papadakis, M. and Durelli, V. H. S. and Delamaro, M. E.
Test Data Generation Techniques for Mutation Testing: A Systematic Mapping
Proceedings of the 11th ESELAW, 2014.
BibTeX | Abstract | URL
176Mark Harman and Yue Jia and Pedro Reales Mateo and Macario Polo
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation
{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014, 2014.
BibTeX | Abstract | PDF | DOI
177S{\'{e}}bastien Bardin and Nikolai Kosmatov and Fran{\c{c}}ois Cheynier
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
178Elmahdi Omar and Sudipto Ghosh and Darrell Whitley
Comparing search techniques for finding subtle higher order mutants
Genetic and Evolutionary Computation Conference, {GECCO} '14, Vancouver, BC, Canada, July 12-16, 2014, 2014.
BibTeX | Abstract | PDF | DOI
179Bob Kurtz and Paul Ammann and M{\'{a}}rcio Eduardo Delamaro and Jeff Offutt and Lin Deng
Mutant Subsumption Graphs
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
180Tingliang Zhou and Haiying Sun and Jing Liu and Xiaohong Chen and Dehui Du
Improving Testing Coverage for Safety-Critical System by Mutated Specification
21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers, 2014.
BibTeX | Abstract | PDF | DOI
181Christopher Henard and Mike Papadakis and Yves Le Traon
MutaLog: {A} Tool for Mutating Logic Formulas
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
182Matthew Patrick and Robert Alexander and Manuel Oriol and John A. Clark
Probability-Based Semantic Interpretation of Mutants
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
183Christopher Henard and Mike Papadakis and Yves Le Traon
Mutation-Based Generation of Software Product Line Test Configurations
Search-Based Software Engineering - 6th International Symposium, {SSBSE} 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings, 2014.
BibTeX | Abstract | PDF | DOI
184Xavier Devroey and Gilles Perrouin and Maxime Cordy and Mike Papadakis and Axel Legay and Pierre{-}Yves Schobbens
A variability perspective of mutation analysis
Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, 2014.
BibTeX | Abstract | PDF | DOI
185Marinos Kintis and Nicos Malevris
Using Data Flow Patterns for Equivalent Mutant Detection
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
186Xiangjuan Yao and Mark Harman and Yue Jia
A study of equivalent and stubborn mutation operators using human analysis of equivalence
36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
BibTeX | Abstract | PDF | DOI
187Derezi{\'{n}}ska, Anna and Ha{\l}as, Konrad
Analysis of Mutation Operators for the Python Language
Unknown-
BibTeX | Abstract | URL | DOI
188Paul Ammann and M{\'{a}}rcio Eduardo Delamaro and Jeff Offutt
Establishing Theoretical Minimal Sets of Mutants
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
189Syed Shariyar Murtaza and Abdelwahab Hamou{-}Lhadj and Nazim H. Madhavji and Mechelle Gittens
An empirical study on the use of mutant traces for diagnosis of faults in deployed systems
Journal of Systems and Software, 90(), 2014.
BibTeX | Abstract | PDF | DOI
190Seokhyeon Moon and Yunho Kim and Moonzoo Kim and Shin Yoo
Ask the Mutants: Mutating Faulty Programs for Fault Localization
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
191Vidroha Debroy and W. Eric Wong
Combining mutation and fault localization for automated program debugging
Journal of Systems and Software, 90(), 2014.
BibTeX | Abstract | PDF | DOI
192Lech Madeyski and Wojciech Orzeszyna and Richard Torkar and Mariusz Józala
Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation
IEEE Transactions on Software Engineering, 40(1), January 2014.
BibTeX | Abstract | PDF | DOI
193Rahul Gopinath and Carlos Jensen and Alex Groce
Code coverage for suite evaluation by developers
36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
BibTeX | Abstract | PDF | DOI
194Divya Gopinath and Sarfraz Khurshid and Diptikalyan Saha and Satish Chandra
Data-guided repair of selection statements
36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
BibTeX | Abstract | PDF | DOI
195Ren{\'{e}} Just and Darioush Jalali and Laura Inozemtseva and Michael D. Ernst and Reid Holmes and Gordon Fraser
Are mutants a valid substitute for real faults in software testing?
Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, 2014.
BibTeX | Abstract | PDF | DOI
196Pablo Loyola and Matt Staats and In{-}Young Ko and Gregg Rothermel
Dodona: automated oracle data set selection
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014.
BibTeX | Abstract | PDF | DOI
197August Shi and Alex Gyori and Milos Gligoric and Andrey Zaytsev and Darko Marinov
Balancing trade-offs in test-suite reduction
Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, 2014.
BibTeX | Abstract | PDF | DOI
198M{\'{a}}rcio Eduardo Delamaro and Jeff Offutt
Assessing the Influence of Multiple Test Case Selection on Mutation Experiments
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
199Huai Liu and Fei{-}Ching Kuo and Dave Towey and Tsong Yueh Chen
How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?
{IEEE} Trans. Software Eng., 40(1), 2014.
BibTeX | Abstract | PDF | DOI
200Pedro Reales Mateo and Macario Polo Usaola
Parallel mutation testing
Softw. Test., Verif. Reliab., 23(4), 2013.
BibTeX | Abstract | PDF | DOI
201Lingming Zhang and Darko Marinov and Sarfraz Khurshid
Faster mutation testing inspired by test prioritization and reduction
International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013, 2013.
BibTeX | Abstract | PDF | DOI
202Mike Papadakis and M{\'{a}}rcio Eduardo Delamaro and Yves Le Traon
Proteum/FL: {A} tool for localizing faults using mutation analysis
13th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23, 2013, 2013.
BibTeX | Abstract | PDF | DOI
203Milos Gligoric and Vilas Jagannath and Qingzhou Luo and Darko Marinov
Efficient mutation testing of multithreaded code
Softw. Test., Verif. Reliab., 23(5), 2013.
BibTeX | Abstract | PDF | DOI
204Papadakis, Mike and Malevris, Nicos
Searching and generating test inputs for mutation testing
SpringerPlus, 2(1), 2013.
BibTeX | Abstract | PDF | DOI
205Lingming Zhang and Lu Zhang and Sarfraz Khurshid
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, {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013, 2013.
BibTeX | Abstract | PDF | DOI
206Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon
Towards automated testing and fixing of re-engineered feature models
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013.
BibTeX | Abstract | PDF | DOI
207Phu Hong Nguyen and Mike Papadakis and Iram Rubab
Testing Delegation Policy Enforcement via Mutation Analysis
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
208Yasser Khan and Jameleddine Hassine
Mutation Operators for the Atlas Transformation Language
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
209Jeffrey Svajlenko and Chanchal K. Roy and Slawomir Duszynski
ForkSim: Generating software forks for evaluating cross-project similarity analysis tools
13th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23, 2013, 2013.
BibTeX | Abstract | PDF | DOI
210Saswat Anand and Edmund K. Burke and Tsong Yueh Chen and John A. Clark and Myra B. Cohen and Wolfgang Grieskamp and Mark Harman and Mary Jean Harrold and Phil McMinn
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software, 86(8), 2013.
BibTeX | Abstract | PDF | DOI
211Mohammad Mahdi Hassan and James H. Andrews
Comparing multi-point stride coverage and dataflow coverage
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013.
BibTeX | Abstract | PDF | DOI
212Matthew Patrick and Robert Alexander and Manuel Oriol and John A. Clark
Using Mutation Analysis to Evolve Subdomains for Random Testing
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
213Matthew Stephan and Manar H. Alalfi and Andrew Stevenson and James R. Cordy
Using mutation analysis for a model-clone detector comparison framework
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013.
BibTeX | Abstract | PDF | DOI
214Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov
Comparing non-adequate test suites using coverage criteria
International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013, 2013.
BibTeX | Abstract | PDF | DOI
215Dongsun Kim and Jaechang Nam and Jaewoo Song and Sunghun Kim
Automatic patch generation learned from human-written patches
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013.
BibTeX | Abstract | PDF | DOI
216Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
217Pedro Reales Mateo and Macario Polo Usaola and Jos{\'{e}} Luis Fern{\'{a}}ndez Alem{\'{a}}n
Validating Second-Order Mutation at System Level
{IEEE} Trans. Software Eng., 39(4), 2013.
BibTeX | Abstract | PDF | DOI
218Sang{-}Woon Kim and Yu{-}Seung Ma and Yong Rae Kwon
Combining weak and strong mutation for a noninterpretive Java mutation system
Softw. Test., Verif. Reliab., 23(8), 2013.
BibTeX | Abstract | PDF | DOI
219Bernhard K. Aichernig and Florian Lorber and Dejan Nickovic
Time for Mutants - Model-Based Mutation Testing with Timed Automata
Tests and Proofs - 7th International Conference, {TAP} 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, 2013.
BibTeX | Abstract | PDF | DOI
220Westley Weimer and Zachary P. Fry and Stephanie Forrest
Leveraging program equivalence for adaptive program repair: Models and first results
2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013.
BibTeX | Abstract | PDF | DOI
221John A. Clark and Haitao Dan and Robert M. Hierons
Semantic mutation testing
Sci. Comput. Program., 78(4), 2013.
BibTeX | Abstract | PDF | DOI
222Lingming Zhang and Dan Hao and Lu Zhang and Gregg Rothermel and Hong Mei
Bridging the gap between the total and additional test-case prioritization strategies
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013.
BibTeX | Abstract | PDF | DOI
223Hoang Duong Thien Nguyen and Dawei Qi and Abhik Roychoudhury and Satish Chandra
SemFix: program repair via semantic analysis
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013.
BibTeX | Abstract | PDF | DOI
224Lin Deng and Jeff Offutt and Nan Li
Empirical Evaluation of the Statement Deletion Mutation Operator
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
225Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman
{PYTHIA:} Generating test cases with oracles for JavaScript applications
2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013.
BibTeX | Abstract | PDF | DOI
226Lingming Zhang and Milos Gligoric and Darko Marinov and Sarfraz Khurshid
Operator-based and random mutant selection: Better together
2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013.
BibTeX | Abstract | PDF | DOI
227Mike Papadakis and Yves Le Traon
Mutation testing strategies using mutant classification
Proceedings of the 28th Annual {ACM} Symposium on Applied Computing, {SAC} '13, Coimbra, Portugal, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
228Milos Gligoric and Lingming Zhang and Cristiano Pereira and Gilles Pokam
Selective mutation testing for concurrent code
International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013, 2013.
BibTeX | Abstract | PDF | DOI
229Chris J. Wright and Gregory M. Kapfhammer and Phil McMinn
Efficient Mutation Analysis of Relational Database Structure Using Mutant Schemata and Parallelisation
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
230Elmahdi Omar and Sudipto Ghosh and Darrell Whitley
Constructing subtle higher order mutants for Java and AspectJ programs
{IEEE} 24th International Symposium on Software Reliability Engineering, {ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013, 2013.
BibTeX | Abstract | PDF | DOI
231Richard Baker and Ibrahim Habli
An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
{IEEE} Trans. Software Eng., 39(6), 2013.
BibTeX | Abstract | PDF | DOI
232Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman
Efficient JavaScript Mutation Testing
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
233Gregory M. Kapfhammer and Phil McMinn and Chris J. Wright
Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
234Antonia Bertolino and Said Daoudagh and Francesca Lonetti and Eda Marchetti
{XACMUT:} {XACML} 2.0 Mutants Generator
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
235Markus Kusano and Chao Wang
CCmutator: {A} mutation generator for concurrency constructs in multithreaded {C/C++} applications
2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013.
BibTeX | Abstract | PDF | DOI
236David Schuler and Andreas Zeller
Covering and Uncovering Equivalent Mutants
Softw. Test., Verif. Reliab., 23(5), 2013.
BibTeX | Abstract | PDF | DOI
237Laura Inozemtseva and Hadi Hemmati and Reid Holmes
Using fault history to improve mutation reduction
Joint Meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013, 2013.
BibTeX | Abstract | PDF | DOI
238Chunyang Ye and Hans{-}Arno Jacobsen
Whitening {SOA} Testing via Event Exposure
{IEEE} Trans. Software Eng., 39(10), 2013.
BibTeX | Abstract | PDF | DOI
239Marinos Kintis and Nicos Malevris
Identifying More Equivalent Mutants via Code Similarity
20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, 2013.
BibTeX | Abstract | PDF | DOI
240Gary Kaminski and Paul Ammann and Jeff Offutt
Improving logic-based testing
Journal of Systems and Software, 86(8), 2013.
BibTeX | Abstract | PDF | DOI
241Alex Groce and Chaoqiang Zhang and Eric Eide and Yang Chen and John Regehr
Swarm testing
International Symposium on Software Testing and Analysis, {ISSTA} 2012, Minneapolis, MN, USA, July 15-20, 2012, 2012.
BibTeX | Abstract | PDF | DOI
242Elmahdi Omar and Sudipto Ghosh
An Exploratory Study of Higher Order Mutation Testing in Aspect-Oriented Programming
23rd {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012, 2012.
BibTeX | Abstract | PDF | DOI
243Matthew Patrick and Manuel Oriol and John A. Clark
{MESSI:} Mutant Evaluation by Static Semantic Interpretation
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
244Shin Yoo and Mark Harman
Test data regeneration: generating new test data from existing test data
Softw. Test., Verif. Reliab., 22(3), 2012.
BibTeX | Abstract | PDF | DOI
245C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez
Formal passive testing of timed systems: theory and tools
Softw. Test., Verif. Reliab., 22(6), 2012.
BibTeX | Abstract | PDF | DOI
246Bernhard K. Aichernig and Elisabeth J{\"{o}}bstl
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
247Chixiang Zhou and Phyllis G. Frankl
Empirical Studies on Test Effectiveness for Database Applications
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
248Jaymie Strecker and Atif M. Memon
Accounting for defect characteristics in evaluations of testing techniques
{ACM} Trans. Softw. Eng. Methodol., 21(3), 2012.
BibTeX | Abstract | PDF | DOI
249Dianxiang Xu and Omar el Ariss and Weifeng Xu and Linzhang Wang
Testing aspect-oriented programs with finite state machines
Softw. Test., Verif. Reliab., 22(4), 2012.
BibTeX | Abstract | URL | DOI
250Marinos Kintis and Mike Papadakis and Nicos Malevris
Isolating First Order Equivalent Mutants via Second Order Mutation
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
251Matt Staats and Gregory Gay and Mats Per Erik Heimdahl
Automated oracle creation support, or: How {I} learned to stop worrying about fault propagation and love mutation testing
34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland, 2012.
BibTeX | Abstract | PDF | DOI
252Mike Papadakis and Nicos Malevris
Killing Mutants Effectively a Search Based Approach
Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, {JCKBSE} 2012, Rodos, Greece, August 23-26, 2012, 2012.
BibTeX | Abstract | PDF | DOI
253Haitao Dan and Robert M. Hierons
Semantic Mutation Analysis of Floating-Point Comparison
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
254Mike Papadakis and Yves Le Traon
Using Mutants to Locate "Unknown" Faults
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
255Claire {Le Goues} and Michael Dewey{-}Vogt and Stephanie Forrest and Westley Weimer
A systematic study of automated program repair: Fixing 55 out of 105 bugs for {\textdollar}8 each
34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland, 2012.
BibTeX | Abstract | PDF | DOI
256Pedro Reales Mateo and Macario Polo Usaola
Mutant Execution Cost Reduction: Through {MUSIC} (Mutant Schema Improved with Extra Code)
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
257Dan Hao and Lu Zhang and Xingxia Wu and Hong Mei and Gregg Rothermel
On-demand test suite reduction
34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland, 2012.
BibTeX | Abstract | PDF | DOI
258Macario Polo Usaola and Pedro Reales Mateo and Beatriz P{\'{e}}rez Lamancha
Reduction of Test Suites Using Mutation
Fundamental Approaches to Software Engineering - 15th International Conference, {FASE} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012.
BibTeX | Abstract | PDF | DOI
259Haitao Dan and Robert M. Hierons
{SMT-C:} {A} Semantic Mutation Testing Tools for {C}
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
260Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid
Regression mutation testing
International Symposium on Software Testing and Analysis, {ISSTA} 2012, Minneapolis, MN, USA, July 15-20, 2012, 2012.
BibTeX | Abstract | PDF | DOI
261Gordon Fraser and Andreas Zeller
Mutation-Driven Generation of Unit Tests and Oracles
{IEEE} Trans. Software Eng., 38(2), 2012.
BibTeX | Abstract | PDF | DOI
262Vinicius H. S. Durelli and Jeff Offutt and M{\'{a}}rcio Eduardo Delamaro
Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
263Harman, Mark and McMinn, Phil and de Souza, Jerffeson Teixeira and Yoo, Shin
Search Based Software Engineering: Techniques, Taxonomy, Tutorial
Unknown-
BibTeX | Abstract | PDF | DOI
264Ren{\'{e}} Just and Gregory M. Kapfhammer and Franz Schweiggert
Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis
23rd {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012, 2012.
BibTeX | Abstract | PDF | DOI
265Ren{\'{e}} Just and Gregory M. Kapfhammer and Franz Schweiggert
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
266Claire {Le Goues} and ThanhVu Nguyen and Stephanie Forrest and Westley Weimer
GenProg: {A} Generic Method for Automatic Software Repair
{IEEE} Trans. Software Eng., 38(1), 2012.
BibTeX | Abstract | PDF | DOI
267Mike Papadakis and Nicos Malevris
Mutation based test case generation via a path selection strategy
Information {\&} Software Technology, 54(9), 2012.
BibTeX | Abstract | PDF | DOI
268Le Thi My Hanh and Thanh Binh Nguyen
Mutation Operators for Simulink Models
Fourth International Conference on Knowledge and Systems Engineering, {KSE} 2012, Danang, Vietnam, August 17-19, 2012, 2012.
BibTeX | Abstract | PDF | DOI
269Yehia Elrakaiby and Tejeddine Mouelhi and Yves Le Traon
Testing Obligation Policy Enforcement Using Mutation Analysis
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
270JeeHyun Hwang and Tao Xie and Donia El Kateb and Tejeddine Mouelhi and Yves Le Traon
Selection of regression system tests for security policy evolution
{IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012, 2012.
BibTeX | Abstract | PDF | DOI
271Yi Wei and Bertrand Meyer and Manuel Oriol
Is Branch Coverage a Good Measure of Testing Effectiveness?
Unknown-
BibTeX | Abstract | URL | DOI
272Konrad Jamrozik and Gordon Fraser and Nikolai Tillmann and Jonathan de Halleux
Augmented dynamic symbolic execution
{IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012, 2012.
BibTeX | Abstract | PDF | DOI
273Simona Nica
On the Improvement of the Mutation Score Using Distinguishing Test Cases
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011.
BibTeX | Abstract | PDF | DOI
274Sahitya Kakarla and Selina Momotaz and Akbar Siami Namin
An Evaluation of Mutation and Data-Flow Testing: {A} Meta-analysis
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
275Andrea Arcuri and Lionel C. Briand
Adaptive random testing: an illusion of effectiveness?
Proceedings of the 20th International Symposium on Software Testing and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011, 2011.
BibTeX | Abstract | PDF | DOI
276Diptikalyan Saha and Mangala Gowri Nanda and Pankaj Dhoolia and V. Krishna Nandivada and Vibha Sinha and Satish Chandra
Fault localization for data-centric programs
SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, 2011.
BibTeX | Abstract | PDF | DOI
277Chixiang Zhou and Phyllis G. Frankl
Inferential Checking for Mutants Modifying Database States
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011.
BibTeX | Abstract | PDF | DOI
278Satish Chandra and Emina Torlak and Shaon Barman and Rastislav Bod{\'{\i}}k
Angelic debugging
Proceedings of the 33rd International Conference on Software Engineering, {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, 2011.
BibTeX | Abstract | PDF | DOI
279Mark Harman and Yue Jia and William B. Langdon
Strong higher order mutation-based test data generation
SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, 2011.
BibTeX | Abstract | PDF | DOI
280Alexandre Bartel and Benoit Baudry and Freddy Munoz and Jacques Klein and Tejeddine Mouelhi and Yves Le Traon
Model Driven Mutation Applied to Adaptative Systems Testing
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011 Workshops Proceedings, March 21 - March 25, 2011, Berlin, Germany, 2011.
BibTeX | Abstract | PDF | DOI
281Fevzi Belli and Mutlu Beyazit and Tomohiko Takagi and Zengo Furukawa
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011.
BibTeX | Abstract | PDF | DOI
282Anna Derezinska and Karol Kowalski
Object-Oriented Mutation Applied in Common Intermediate Language Programs Originated from C{\#}
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
283Kavir Shrestha and Matthew J. Rutherford
An Empirical Evaluation of Assertions as Oracles
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011.
BibTeX | Abstract | PDF | DOI
284Duy Cu Nguyen and Alessandro Marchetto and Paolo Tonella
Change Sensitivity Based Prioritization for Audit Testing of Webservice Compositions
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
285Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"{o}}bstl and Willibald Krenn
Efficient Mutation Killers in Action
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011.
BibTeX | Abstract | PDF | DOI
286Fr{\'{e}}d{\'{e}}ric Dadeau and Pierre{-}Cyrille H{\'{e}}am and Rafik Kheddam
Mutation-Based Test Generation from Security Protocols in {HLPSL}
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011.
BibTeX | Abstract | PDF | DOI
287Akbar Siami Namin and Sahitya Kakarla
The use of mutation in testing experiments and its sensitivity to external threats
Proceedings of the 20th International Symposium on Software Testing and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011, 2011.
BibTeX | Abstract | PDF | DOI
288Ilinca Ciupa and Alexander Pretschner and Manuel Oriol and Andreas Leitner and Bertrand Meyer
On the number and nature of faults found by random testing
Softw. Test., Verif. Reliab., 21(1), 2011.
BibTeX | Abstract | PDF | DOI
289Chixiang Zhou and Phyllis G. Frankl
{JDAMA:} Java database application mutation analyser
Softw. Test., Verif. Reliab., 21(3), 2011.
BibTeX | Abstract | PDF | DOI
290Jingyu Hu and Nan Li and Jeff Offutt
An Analysis of {OO} Mutation Operators
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
291Mike Papadakis and Nicos Malevris
Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing
Software Quality Journal, 19(4), 2011.
BibTeX | Abstract | PDF | DOI
292Gary Kaminski and Paul Ammann and Jeff Offutt
Better predicate testing
Proceedings of the 6th International Workshop on Automation of Software Test, {AST} 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011, 2011.
BibTeX | Abstract | PDF | DOI
293Milos Gligoric and Sandro Badame and Ralph Johnson
SMutant: a tool for type-sensitive mutation testing in a dynamic language
SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, 2011.
BibTeX | Abstract | PDF | DOI
294Kristina Winbladh and Anand Ranganathan
Evaluating test selection strategies for end-user specified flow-based applications
26th {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011, 2011.
BibTeX | Abstract | PDF | DOI
295Pratyusha Madiraju and Akbar Siami Namin
Para{\(\mathrm{\mu}\)} - {A} Partial and Higher-Order Mutation Tool with Concurrency Operators
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
296Gordon Fraser and Andrea Arcuri
EvoSuite: automatic test suite generation for object-oriented software
SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, 2011.
BibTeX | Abstract | PDF | DOI
297Gordon Fraser and Andreas Zeller
Generating parameterized unit tests
Proceedings of the 20th International Symposium on Software Testing and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011, 2011.
BibTeX | Abstract | PDF | DOI
298Ren{\'{e}} Just and Gregory M. Kapfhammer and Franz Schweiggert
Using conditional mutation to increase the efficiency of mutation analysis
Proceedings of the 6th International Workshop on Automation of Software Test, {AST} 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011, 2011.
BibTeX | Abstract | PDF | DOI
299Ahmad A. Saifan and J{\"{u}}rgen Dingel and Jeremy S. Bradbury and Ernesto Posse
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011.
BibTeX | Abstract | PDF | DOI
300Syed Shariyar Murtaza and Nazim H. Madhavji and Mechelle Gittens and Zude Li
Diagnosing new faults using mutants and prior faults
Proceedings of the 33rd International Conference on Software Engineering, {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, 2011.
BibTeX | Abstract | PDF | DOI
301Yue Jia and Mark Harman
An Analysis and Survey of the Development of Mutation Testing
{IEEE} Trans. Software Eng., 37(5), 2011.
BibTeX | Abstract | PDF | DOI
302Brady J. Garvin and Myra B. Cohen
Feature Interaction Faults Revisited: An Exploratory Study
{IEEE} 22nd International Symposium on Software Reliability Engineering, {ISSRE} 2011, Hiroshima, Japan, November 29 - December 2, 2011, 2011.
BibTeX | Abstract | PDF | DOI
303Birgit Schwarz and David Schuler and Andreas Zeller
Breeding High-Impact Mutations
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
304Juan Boubeta{-}Puig and Inmaculada Medina{-}Bulo and Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez
Analogies and Differences between Mutation Operators for {WS-BPEL} 2.0 and Other Languages
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
305Mike Papadakis and Nicos Malevris
Automatic mutation based test data generation
13th Annual Genetic and Evolutionary Computation Conference, {GECCO} 2011, Companion Material Proceedings, Dublin, Ireland, July 12-16, 2011, 2011.
BibTeX | Abstract | PDF | DOI
306Jaechang Nam and David Schuler and Andreas Zeller
Calibrated Mutation Testing
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
307Arcuri, Andrea and Briand, Lionel
A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering
ICSE, 2011.
BibTeX | Abstract | PDF | DOI
308Jeff Offutt
A mutation carol: Past, present and future
Information {\&} Software Technology, 53(10), 2011.
BibTeX | Abstract | PDF | DOI
309Heinz Riener and Roderick Bloem and G{\"{o}}rschwin Fey
Test Case Generation from Mutants Using Model Checking Techniques
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
310Leonardo Bottaci
Type Sensitive Application of Mutation Operators for Dynamically Typed Programs
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
311Antonia Estero-Botaro and Francisco Palomo-Lozano and Inmaculada Medina-Bulo
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
312Lech Madeyski and N. Radyk
Judy - a mutation testing tool for Java
{IET} Software, 4(1), 2010.
BibTeX | Abstract | PDF | DOI
313Antonia Estero{-}Botaro and Francisco Palomo{-}Lozano and Inmaculada Medina{-}Bulo
Quantitative Evaluation of Mutation Operators for {WS-BPEL} Compositions
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
314Milos Gligoric and Vilas Jagannath and Darko Marinov
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, 2010.
BibTeX | Abstract | PDF | DOI
315John A. Clark and Haitao Dan and Robert M. Hierons
Semantic Mutation Testing
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
316Salem Adra and Phil McMin
Mutation Operators for Agent-Based Models
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
317Mike Papadakis and Nicos Malevris
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
{IEEE} 21st International Symposium on Software Reliability Engineering, {ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010, 2010.
BibTeX | Abstract | PDF | DOI
318Upsorn Praphamontripong and A. Jefferson Offutt
Applying Mutation Testing to Web Applications
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
319Vidroha Debroy and W. Eric Wong
Using Mutation to Automatically Suggest Fixes for Faulty Programs
Proceedings of the 3rd International Conference on Software Testing Verification and Validation (ICST'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
320Pedro Reales Mateo and Macario Polo Usaola and Jeff Offutt
Mutation at System and Functional Levels
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
321Leonardo Bottaci
Type Sensitive Application of Mutation Operators for Dynamically Typed Programs
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
322Mike Papadakis and Nicos Malevris and Maria Kallia
Towards automating the generation of mutation tests
The 5th Workshop on Automation of Software Test, {AST} 2010, May 3-4, 2010, Cape Town, South Africa, 2010.
BibTeX | Abstract | PDF | DOI
323David Schuler and Andreas Zeller
(Un-)Covering Equivalent Mutants
Proceedings of the 3rd International Conference on Software Testing Verification and Validation (ICST'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
324Sergio Segura and Robert M. Hierons and David Benavides and Antonio Ruiz-Cortes
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
Proceedings of the 3rd International Conference on Software Testing Verification and Validation (ICST'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
325Mark Trakhtenbrot
Implementation-Oriented Mutation Testing of Statechart Models
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
326Santosh Kumar Swain and Durga Prasad Mohapatra and Rajib Mall
Test Case Generation Based on State and Activity Models
Journal of Object Technology, 9(5), 2010.
BibTeX | Abstract | PDF | DOI
327Mark Harman and Yue Jia and William B. Langdon
A Manifesto for Higher Order Mutation Testing
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
328David Schuler and Andreas Zeller
(Un-)Covering Equivalent Mutants
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, 2010.
BibTeX | Abstract | PDF | DOI
329John A. Clark and Haitao Dan and Robert M. Hierons
Semantic Mutation Testing
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
330Mark Harman and Yue Jia and William Bill Langdon
A Manifesto for Higher Order Mutation Testing
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
331Mark B. Trakhtenbrot
Implementation-Oriented Mutation Testing of Statechart Models
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
332Salem Fawaz Adra and Phil McMinn
Mutation Operators for Agent-Based Models
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
333Pedro Reales Mateo and Macario Polo Usaola and A. Jefferson Offutt
Mutation at System and Functional Levels
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
334Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei
Test generation via Dynamic Symbolic Execution for mutation testing
26th {IEEE} International Conference on Software Maintenance {(ICSM} 2010), September 12-18, 2010, Timisoara, Romania, 2010.
BibTeX | Abstract | PDF | DOI
335Mike Papadakis and Nicos Malevris
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
336Lu Zhang and Shan{-}Shan Hou and Jun{-}Jue Hu and Tao Xie and Hong Mei
Is operator-based mutant selection superior to random mutant selection?
Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010, 2010.
BibTeX | Abstract | PDF | DOI
337Marinos Kintis and Mike Papadakis and Nicos Malevris
Evaluating Mutation Testing Alternatives: {A} Collateral Experiment
17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney, Australia, November 30 - December 3, 2010, 2010.
BibTeX | Abstract | PDF | DOI
338Mike Papadakis and Nicos Malevris and Marinos Kintis
Mutation Testing Strategies - {A} Collateral Approach
{ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010, 2010.
BibTeX | Abstract | URL
339Mike Papadakis and Nicos Malevris
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
340Vilas Jagannath and Milos Gligoric and Steven Lauterburg and Darko Marinov and Gul Agha
Mutation Operators for Actor Systems
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
341Sergio Segura and Robert M. Hierons and David Benavides and Antonio Ruiz Cort{\'{e}}s
Automated Test Data Generation on the Analyses of Feature Models: {A} Metamorphic Testing Approach
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, 2010.
BibTeX | Abstract | PDF | DOI
342Upsorn Praphamontripong and Jeff Offutt
Applying Mutation Testing to Web Applications
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
343Mohan Sridharan and Akbar Siami Namin
Prioritizing Mutation Operators Based on Importance Sampling
{IEEE} 21st International Symposium on Software Reliability Engineering, {ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010, 2010.
BibTeX | Abstract | PDF | DOI
344W. K. Chan and Jeffrey C. F. Ho and T. H. Tse
Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs
Softw. Test., Verif. Reliab., 20(2), 2010.
BibTeX | Abstract | PDF | DOI
345Friedrich Steimann and Andreas Thies
From behaviour preservation to behaviour modification: constraint-based mutant generation
Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010, 2010.
BibTeX | Abstract | PDF | DOI
346William B. Langdon and Mark Harman and Yue Jia
Efficient multi-objective higher order mutation testing with genetic programming
Journal of Systems and Software, 83(12), 2010.
BibTeX | Abstract | PDF | DOI
347Vilas Jagannath and Milos Gligoricand Steven Lauterburg and Darko Marinov and Gul Agha
Mutation Operators for Actor Systems
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
348Mike Papadakis and Nicos Malevris and Maria Kallia
Towards Automating the Generation of Mutation Ttests
Proceedings of the 5th Workshop on Automation of Software Teste (AST'10)Cape Town, South Africa, 3-4 May 2010.
BibTeX | Abstract | URL
349Lech Madeyski and Norbert Radyk
Judy – A Mutation Testing Tool for Java
IET Software, 4(1), February 2010.
BibTeX | Abstract | PDF | DOI
350Gordon Fraser and Andreas Zeller
Mutation-driven generation of unit tests and oracles
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010, 2010.
BibTeX | Abstract | PDF | DOI
351Franz Wotawa and Mihai Nica and Bernhard K. Aichernig
Generating Distinguishing Tests Using the Minion Constraint Solver
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
352Milos Gligoric and Vilas Jagannath and Darko Marinov
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
Proceedings of the 3rd International Conference on Software Testing Verification and Validation (ICST'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
353Vidroha Debroy and W. Eric Wong
Using Mutation to Automatically Suggest Fixes for Faulty Programs
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, 2010.
BibTeX | Abstract | PDF | DOI
354Kinga Dobolyi and Westley Weimer
Modeling consumer-perceived web application fault severities for testing
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010, 2010.
BibTeX | Abstract | PDF | DOI
355Ying Jiang and Ying-Na Li and Shan-Shan Hou and Lu Zhang
Test-Data Generation for Web Services Based on Contract Mutation
Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'09)Shanghai China, 8-10 July 2009.
BibTeX | Abstract | URL
356Nuo Li and Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions
{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, 2009.
BibTeX | Abstract | PDF | DOI
357W. K. Chan and S. C. Cheung and Jeffrey C. F. Ho and T. H. Tse
PAT: A Pattern Classification Approach to Automatic Reference Oracles for the Testing of Mesh Simplification Programs
Journal of Systems and Software, 82(3), March 2009.
BibTeX | Abstract | URL
358Yue Jia and Mark Harman
An Analysis and Survey of the Development of Mutation Testing
CREST Centre, King's College LondonTR-09-06, London, UK, 2009.
BibTeX | Abstract | URL
359Emine Gokce Aydal and Richard F. Paige and Mark Utting and Jim Woodcock
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009.
BibTeX | Abstract | PDF | DOI
360Bernhard J. M. Gr\"un and David Schuler and Andreas Zeller
The Impact of Equivalent Mutants
Saarland University, Saarbrucken, Telefon, 2009.
BibTeX | Abstract | URL
361C\'esar Andr\'es and Mercedes G. Merayo and Carlos Molinero
Advantages of Mutation in Passive Testing: An Empirical Study
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
362Angelo Brillout and Nannan He and Michele Mazzucchi and Daniel Kroening and Mitra Purandare and Philipp R{\"{u}}mmer and Georg Weissenbacher
Mutation-Based Test Case Generation for Simulink Models
Formal Methods for Components and Objects - 8th International Symposium, {FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, 2009.
BibTeX | Abstract | PDF | DOI
363Changbin Ji and Zhenyu Chen and Baowen Xu and Zhihong Zhao
A Novel Method of Mutation Clustering Based on Domain Analysis
Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering (SEKE'09)Boston, Massachusetts, 1-3 July 2009.
BibTeX | Abstract | URL
364Bernhard J. M. Gr\"un and David Schuler and Andreas Zeller
The Impact of Equivalent Mutants
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
365Romain Delamare and Benoit Baudry and Sudipto Ghosh and Yves Le Traon
A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ
Proceedings of the 2nd International Conference on Software Testing Verification and Validation (ICST'09)Davor Colorado, 01-04 April 2009.
BibTeX | Abstract | URL
366Romain Delamare and Benoit Baudry and Yves Le Traon
AjMutator: A Tool For The Mutation Analysis Of AspectJ Pointcut Descriptors
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
367Juan Jos\'e Dom\'inguez-Jim\'enez and Antonia Estero-Botaro and Inmaculada Medina-Bulo
A Framework for Mutant Genetic Generation for WS-BPEL
Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer ScienceSpindleruv Mlyn, Czech Republic, January 2009.
BibTeX | Abstract | URL
368Juan Jos\'e Dom\'inguez-Jim\'enez and Antonia Estero-Botaro and Antonio Garc\'ia-Dom\'inguez and Inmaculada Medina-Bulo
GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions
Proceedings of the 7th European Conference on Web Services (ECOWS'09)Eindhoven, Netherlands, 9-11 November 2009.
BibTeX | Abstract | URL
369Yue Jia and Mark Harman
Higher Order Mutation Testing
Journal of Information and Software Technology, 51(10), October 2009.
BibTeX | Abstract | URL
370Bernhard K. Aichernig and He Jifeng
Mutation Testing in UTP
Formal Aspects of Computing, 21(1-2), February, 2009 2009.
BibTeX | Abstract | URL
371Bernhard K. Aichernig and Farhad Arbab and Lacramioara Astefanoaei and Frank S. de Boer and Meng Sun and Jan Rutten
Fault-Based Test Case Generation for Component Connectors
Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'09)Tianjin, China, 29-31 July 2009.
BibTeX | Abstract | URL
372Daniel Hook
Using Code Mutation to Study Code Faults in Scientific Software
Queen's University, Kingston, Ontario, Canada, 2009.Unknown-
BibTeX | Abstract | URL
373Kinga Dobolyi and Westley Weimer
Harnessing Web-Based Application Similarities to Aid in Regression Testing
{ISSRE} 2009, 20th International Symposium on Software Reliability Engineering, Mysuru, Karnataka, India, 16-19 November 2009, 2009.
BibTeX | Abstract | PDF | DOI
374Robert M. Hierons and Mercedes G. Merayo
Mutation Testing from Probabilistic and Stochastic Finite State Machines
Journal of Systems and Software, 82(11), November 2009.
BibTeX | Abstract | URL
375Konstantinos Adamopoulos
Search Based Test Selection and Tailored Mutation
King's College London, London, Uk, 2009.
BibTeX | Abstract | URL
376Gordon Fraser and Franz Wotawa
Complementary Criteria for Testing Temporal Logic Properties
Proceedings of the 3rd International Conferenc eon Tests And Proofs (TAP'09)Zurich, Switzerland, 02-03 June 2009.
BibTeX | Abstract | URL
377Abdesselam Lakehal and Ioannis Parissis
Structural coverage criteria for {LUSTRE/SCADE} programs
Softw. Test., Verif. Reliab., 19(2), 2009.
BibTeX | Abstract | PDF | DOI
378Changbing Ji and Zhenyu Chen and Baowen Xu and Ziyuan Wang
A New Mutation Analysis Method for Testing Java Exception Handling
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC'09)Seattle, Washington, USA, July 2009.
BibTeX | Abstract | URL
379Robin Abraham and Martin Erwig
Mutation Operators for Spreadsheets
IEEE Transactions on Software Engineering, 35(1), January-February 2009.
BibTeX | Abstract | URL
380Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and Antonia Estero{-}Botaro and Inmaculada Medina{-}Bulo
A Framework for Mutant Genetic Generation for {WS-BPEL}
{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
381Daniel Hook and Diane Kelly
Testing for Trustworthiness in Scientific Software
Proceedings of the 2nd International Workshop on Software Engineering for Computational Science and Engineering (SECSE'09)Vancouver, Canada, 23 May 2009.
BibTeX | Abstract | URL
382Simao, A. and Petrenko, A. and Maldonado, J. C.
Comparing finite state machine test coverage criteria
IET software, 3(2), 2009.
BibTeX | Abstract | URL
383Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte
Mutation Analysis of Parameterized Unit Tests
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
384Fevzi Belli and Axel Hollmann and Sascha Padberg
Communication Sequence Graphs for Mutation-Oriented Integration Testing
Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'09)Shanghai, China, July 2009.
BibTeX | Abstract | URL
385Westley Weimer and ThanhVu Nguyen and Claire {Le Goues} and Stephanie Forrest
Automatically finding patches using genetic programming
31st International Conference on Software Engineering, {ICSE} 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
386Tejeddine Mouelhi and Yves Le Traon and Benoit Baudry
Transforming and Selecting Functional Test Cases for Security Policy Testing
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009.
BibTeX | Abstract | PDF | DOI
387Fevzi Belli and Mutlu Beyazit
Mutation of Directed Graphs-Corresponding Regular Expressions and Complexity of Their Generation
Proceedings of the 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS'09)Magdeburg, Germany, 06-09 July 2009.
BibTeX | Abstract | URL
388Romain Delamare and Benoit Baudry and Yves Le Traon
AjMutator: {A} Tool for the Mutation Analysis of AspectJ Pointcut Descriptors
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
389Romain Delamare and Benoit Baudry and Sudipto Ghosh and Yves Le Traon
A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009.
BibTeX | Abstract | PDF | DOI
390Chixiang Zhou and Phyllis G. Frankl
Mutation Testing for Java Database Applications
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009.
BibTeX | Abstract | PDF | DOI
391Akbar Siami Namin and James H. Andrews
The Influence of Size and Coverage on Test Suite Effectiveness
Proceedings of the18th International Symposium on Software Testing and Analysis (ISSTA'09)Chicago, Illinois, USA, 19-23 July 2009.
BibTeX | Abstract | URL
392David Schuler and Andreas Zeller
Javalanche: efficient mutation testing for Java
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, 2009.
BibTeX | Abstract | PDF | DOI
393Rene Just and Franz Schweiggert
Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
394Macario Polo and Mario Piattini and Ignacio Garc{\'{\i}}a Rodr{\'{\i}}guez de Guzm{\'{a}}n
Decreasing the cost of mutation testing with second-order mutants
Softw. Test., Verif. Reliab., 19(2), 2009.
BibTeX | Abstract | PDF | DOI
395Robin Abraham and Martin Erwig
Mutation Operators for Spreadsheets
{IEEE} Trans. Software Eng., 35(1), 2009.
BibTeX | Abstract | PDF | DOI
396Mike Papadakis and Nicos Malevris
An Effective Path Selection Strategy for Mutation Testing
Proceedings of the 16th Asia-Pacific Software Engineering Conference (APSEC'09)Penang, Malaysia, 1-3 December 2009.
BibTeX | Abstract | URL
397Nan Li and Upsorn Praphamontripong and Jeff Offutt
An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
398Benjamin Hatfield Smith and Laurie Williams
Should Software Testers Use Mutation Analysis to Augment a Test Set?
Journal of Systems and Software, (), 2009.
BibTeX | Abstract | URL
399Mike Papadakis and Nicos Malevris
An Effective Path Selection Strategy for Mutation Testing
16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia, 2009.
BibTeX | Abstract | PDF | DOI
400Garrett Kent Kaminski and Paul Ammann
Using a Fault Hierarchy to Improve the Efficiency of {DNF} Logic Mutation Testing
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009.
BibTeX | Abstract | PDF | DOI
401Bernhard J. M. Gr{\"{u}}n and David Schuler and Andreas Zeller
The Impact of Equivalent Mutants
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
402David Schuler and Valentin Dallmeier and Andreas Zeller
Efficient mutation testing by checking invariant violations
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, {ISSTA} 2009, Chicago, IL, USA, July 19-23, 2009, 2009.
BibTeX | Abstract | PDF | DOI
403Adenilso Simao and Jose Carlos Maldonado and Roberto da Silva Bigonha
A Transformational Language for Mutant Description
Computer Languages, Systems & Structures, 35(3), October 2009.
BibTeX | Abstract | URL
404M. Prasanna and K.R. Chandran
Automatic Test Case Generation for UML Object diagrams using Genetic Algorithm
International Journal of Soft Computing Applications, 1(1), July 2009.
BibTeX | Abstract | URL
405Chanchal K. Roy and James R. Cordy
A Mutation / Injection-based Automatic Framework for Evaluating Code Clone Detection Tools
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
406Suraj Sharma and S. K. Jena and K. Satyababu
New Approach for Testing the Correctness of Access Control Policies
Proceedings of the International Advance Computing Conference (IACC'09)Patiala, Punjab, India, 06-07 March 2009.
BibTeX | Abstract | URL
407David Schuler and Valentin Dallmeier and Andreas Zeller
Efficient Mutation Testing by Checking Invariant Violations
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'09)Chicago, Illinois, 19-23 July 2009.
BibTeX | Abstract | URL
408David Schuler and Valentin Dallmeier and Andreas Zeller
Efficient Mutation Testing by Checking Invariant Violations
Saarland University, Saarbrucken, Telefon, 2009.
BibTeX | Abstract | URL
409David Schuler and Andreas Zeller
Javalanche: Efficient Mutation Testing for Java
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the International Symposium on Foundations of Software EngineeringAmsterdam, Netherlands, 24-28 August 2009.
BibTeX | Abstract | PDF | DOI
410Hossain Shahriar and Mohammad Zulkernine
MUTEC: Mutation-based Testing of Cross Site Scripting
Proceedings of the 5th International Workshop on Software Engineering for Secure Systems (SESS'09)Vancouver, Canada, 19 May 2009.
BibTeX | Abstract | URL
411C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez
Passive Testing of Stochastic Timed Systems
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009.
BibTeX | Abstract | PDF | DOI
412Benjamin Hatfield Smith and Laurie Williams
On Guiding the Augmentation of an Automated Test Suite via Mutation Analysis
Empirical Software Engineering, 14(3), 2009.
BibTeX | Abstract | URL
413Chanchal K. Roy and James R. Cordy
A Mutation/Injection-Based Automatic Framework for Evaluating Code Clone Detection Tools
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
414Luo Xu and Ji Wu and Chao Liu
TTCN-3 Based Robustness Test Generation and Automation
Proceedings of the International Conference on Information Technology and Computer Science (ITCS'09)Kiev, Ukraine, 25-26 July 2009.
BibTeX | Abstract | URL
415Garrett Kaminski and Paul Ammann
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
416Chixiang Zhou and Phyllis Frankl
Mutation Testing for Java Database Applications
Proceedings of the 2nd International Conference on Software Testing Verification and Validation (ICST'09)Davor Colorado, 01-04 April 2009.
BibTeX | Abstract | URL
417Garrentt Kent Kaminski and Paul Ammann
Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing
Proceedings of the 2nd International Coference on Software Testing Verification and Validation (ICST'09)Davor Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
418Thomas Knauth and Christof Fetzer and Pascal Felber
Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
419Willibald Krenn and Bernhard K. Aichernig
Test Case Generation by Contract Mutation in Spec\#
Proceedings of Fifth Workshop on Model Based Testing (MBT'09)York, UK, March 2009.
BibTeX | Abstract | URL
420Thomas Knauth and Christof Fetzer and Pascal Felber
Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
421William Bill Langdon and Mark Harman and Yue Jia
Multi Objective Mutation Testing With Genetic Programming
Proceedings of the Genetic and Evolutionary Computation Conference 2009 (GECCO'09)Montr\'eal, Canada, 8-12 July 2009.
BibTeX | Abstract | URL
422William Bill Langdon and Mark Harman and Yue Jia
Multi Objective Higher Order Mutation Testing With Genetic Programming
Proceedings of the 4th Testing: Academic and Industrial Conference - Practice and Research (TAIC PART'09)Windsor, UK, 4-6 September 2009.
BibTeX | Abstract | URL
423Akbar Siami Namin and James H. Andrews
The influence of size and coverage on test suite effectiveness
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, {ISSTA} 2009, Chicago, IL, USA, July 19-23, 2009, 2009.
BibTeX | Abstract | PDF | DOI
424Yue Jia and Mark Harman
Higher Order Mutation Testing
Information {\&} Software Technology, 51(10), 2009.
BibTeX | Abstract | PDF | DOI
425Jin-hua Li and Geng-xin Dai and Huan-huan Li
Mutation Analysisi for Testing Finite State Machines
Proceedings of the 2nd International Symposium on Electronic Commerce and Security (ISECS'09)Nanchang China, May 2009.
BibTeX | Abstract | URL
426Fanping Zeng and Minghui Chen and Kaitao Yin and Xufa Wang
Research on Buffer Overflow Test Based on Invariant
Proceedings of the 9th International Conference on Computer and Information TechnologyXiamen, China, 11-14 October 2009.
BibTeX | Abstract | URL
427Nan Li and Upsorn Praphamontripong and A. Jefferson Offutt
An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-uses and Prime Path Coverage
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
428Shaimaa Ali and James H. Andrews and Tamilselvi Dhandapani and Wantao Wang
Evaluating the Accuracy of Fault Localization Techniques
{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, 2009.
BibTeX | Abstract | PDF | DOI
429C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Carlos Molinero
Advantages of Mutation in Passive Testing: An Empirical Study
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
430Christian Murphy and Kuang Shen and Gail E. Kaiser
Automatic system testing of programs without test oracles
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, {ISSTA} 2009, Chicago, IL, USA, July 19-23, 2009, 2009.
BibTeX | Abstract | PDF | DOI
431Aritra Bandyopadhyay and Sudipto Ghosh
Test Input Generation Using {UML} Sequence and State Machines Models
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009.
BibTeX | Abstract | PDF | DOI
432Yu-Seung Ma and Yong-Rae Kwon and Sang-Woon Kim
Statistical Investigation on Class Mutation Operators
ETRI Journal, 31(), 2009.
BibTeX | Abstract | URL
433Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte
Mutation Analysis of Parameterized Unit Tests
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
434Ammar Masood and Rafae Bhatti and Arif Ghafoor and Aditya Mathur
Scalable and Effective Test Generation for Role-Based Access Control Systems
IEEE Transactions of Software Engineering, 35(5), May 2009.
BibTeX | Abstract | URL
435Tejeddine Mouelhi and Benoit Baudry and Yves Le Traon
Transforming and Selecting Functional Test Cases for Security Policy Testing
Proceedings of the 2nd International Conference on Software Testing, Verification and ValidationDenver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
436Shuang Wang and A. Jefferson Offutt
Comparison of Unit-Level Automated Test Generation Tools
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009.
BibTeX | Abstract | URL
437Tisi, Massimo and Jouault, Fr{\'e}d{\'e}ric and Fraternali, Piero and Ceri, Stefano and B{\'e}zivin, Jean
On the Use of Higher-Order Model Transformations
Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings, 2009.
BibTeX | Abstract | PDF | DOI
438Hossain Shahriar and Mohammad Zulkernine
Mutation-Based Testing of Format String Bugs
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE'08)Nanjing, China, 3-5 Dec 2008.
BibTeX | Abstract | URL
439Hossain Shahriar and Mohammad Zulkernine
Mutation-Based Testing of Buffer Overflow Vulnerabilities
Proceedings of the 2nd Annual IEEE International Workshop on Security in Software Engineering28 July -1 August, Turku, Finland 2008.
BibTeX | Abstract | URL
440Nicola Bombieri and Franco Fummi and Graziano Pravadelli
A Mutation Model for the SystemC TLM2.0 Communication Interfaces
Proceedings of the Conference on Design, Automation and Test in Europe (DATE'08)Munich, Germany, 10-14 March 2008.
BibTeX | Abstract | URL
441Michael Ellims and Darrel C. Ince and Marian Petre
The Effectiveness of T-Way Test Data Generation
Proceedinsg of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP'08)Newcastle, UK, 22-25 September 2008.
BibTeX | Abstract | URL | DOI
442Rui Wang and Ning Huang
Requirement Model-Based Mutation Testing for Web Service
Proceedings of the 4th International Conference on Next Generation Web Services Practices (NWeSP'08)Seoul, Republic of Korea, 20-22 October 2008.
BibTeX | Abstract | URL
443Juan Jos\'e Dom\'inguez-Jim\'enez and Antonia Estero-Botaro and Inmaculada Medina-Bulo
Mutant Generation for Web Services Compositions with Genetic Algorithms.
Proceedings of the 2nd International Conference on E-Activity and Leading Technologies (E-ALT'08)Madrid, Spain, 2008.
BibTeX | Abstract | URL
444Anna Derezi\'nska and Anna Szustek
Tool-Supported Advanced Mutation Approach for Verification of C\# Programs
Proceedings of the 3th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX'08)Szklarska Por\^eba, Poland, 26-28 June 2008.
BibTeX | Abstract | URL
445Antonia Estero-Botaro and Francisco Palomo-Lozano and Inmaculada Medina-Bulo
Mutation operators for WS-BPEL 2.0
Proceedings of the 21th International Conference on Software and Systems Engineering and their Applications (ICSSEA'08)Paris, France, 9-11 December 2008.
BibTeX | Abstract | URL
446Chuanming Jing and Zhiliang Wang and Xingang Shi and Xia Yin and Jianping Wu
Mutation Testing of Protocol Messages Based on Extended TTCN-3
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (AINA'08)Okinawa, Japan, 25-28 March 2008.
BibTeX | Abstract | URL
447Xin Feng and Simon Marr and Tony O'Callaghan
ESTP: An Experimental Software Testing Platform
Proceedings of the 3rd Testing: Academic and Industrial Conference Practice and Research Techniques (TAIC PART'08)Windsor, UK, 29-31 August 2008.
BibTeX | Abstract | URL
448Tejeddine Mouelhi and Franck Fleurey and Benoit Baudry and Yves Le Traon
A Model-based Framework for Security Policies Specifications, Deployment and Testing
Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS'08)Toulouse, France, 28 September - 1 October 2008.
BibTeX | Abstract | URL
449Yue Jia and Mark Harman
Constructing Subtle Faults Using Higher Order Mutation Testing
Proceedings of the 8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08)Beijing, China, 28-29 September 2008.
BibTeX | Abstract | URL
450Yue Jia and Mark Harman
MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
Proceedings of the 3rd Testing: Academic and Industrial Conference Practice and Research Techniques (TAIC PART'08)Windsor, UK, 29-31 August 2008.
BibTeX | Abstract | URL
451Shufang Lee and Xiaoying Bai and Yinong Chen
Automatic Mutation Testing and Simulation on OWL-S Specified Web Services
Proceedings of the 41st Annual Simulation Symposium (ANSS'08)Ottawa, Canada., 14-16 April 2008.
BibTeX | Abstract | URL
452JeeHyun Hwang and Tao Xie and Fei Chen and Alex X. Liu
Systematic Structural Testing of Firewall Policies
Proceedings of the IEEE Symposium on Reliable Distributed Systems (SRDS '08)Napoli, Italy, 6-8 October 2008.
BibTeX | Abstract | URL
453Shamaila Hussain
Mutation Clustering
King's College London, UK, 2008.Unknown-
BibTeX | Abstract | URL
454Alessandro Marchetto
Talking about a Mutation-Based Reverse Engineering for web testing: A preliminary Experiment
Proceedings of the 6th International Conference on Software Engineering Research, Management and Applications (SERA'08)Prague, Czech Republic, 20-22 August 2008.
BibTeX | Abstract | URL
455Tejeddine Mouelhi and Franck Fleurey and Benoit Baudry
A Generic Metamodel For Security Policies Mutation
Proceedings of the IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'08)Lillehammer, Norway, 9-11 April 2008.
BibTeX | Abstract | URL
456Samer Hanna and Malcolm C. Munro
Fault-Based Web Services Testing
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG'08), 2008.
BibTeX | Abstract | URL
457Hossain Shahriar and Mohammad Zulkernine
MUSIC: Mutation-based SQL Injection Vulnerability Checking
Proceedings of the 8th International Conference on Quality Software (QSIC'08)Oxford, UK, 12-13 August 2008.
BibTeX | Abstract | URL
458Ralph Guderlei and Rene Just and Christoph Schneckenburger
Benchmarking Testing Strategies with Tools from Mutation Analysis
Proceedings of the IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'08)Lillehammer, Norway, 9-11 April 2008.
BibTeX | Abstract | URL
459Tejeddine Mouelhi and Franck Fleurey and Benoit Baudry and Yves Le Traon
Mutating DAC And MAC Security Policies: A Generic Metamodel Based Approach
Proceedings of the 1st International Modeling Security WorkshopToulouse, France, 28th September 2008.
BibTeX | Abstract | URL
460Gustav Munkby and Sibylle Schupp
Improving Fault Injection of Soft Errors Using Program Dependencies
Proceedings of the 3rd Testing: Academic and Industrial Conference Practice and Research Techniques (TAIC PART'08)Windsor, UK, 29-31 August 2008.
BibTeX | Abstract | URL
461Macario Polo and Mario Piattini and Ignacio Garcia-Rodriguez
Decreasing the Cost of Mutation Testing with Second-Order Mutants
Software Testing, Verification and Reliability, 19(2), June 2008.
BibTeX | Abstract | URL
462Alexander Pretschner and Tejeddine Mouelhi and Yves Le Traon
Model-Based Tests for Access Control Policies
Proceedings of the 1st International Conference on Software Testing, Verification, and Validation (ICST '08)Lillehammer, Norway, 9-11 April 2008.
BibTeX | Abstract | URL
463Chanchal K. Roy and James R. Cordy
Towards a Mutation-based Automatic Framework for Evaluating Code Clone Detection Tools
Proceedings of the Canadian Conference on Computer Science and Software Engineering (C3S2E'08)Montreal, Quebec, Canada, 12-13 May 2008.
BibTeX | Abstract | URL
464Fabiano Cutigi Ferrari and Jose Carlos Maldonado and Awais Rashid
Mutation Testing for Aspect-Oriented Programs
Proceedings of the 1st International Conference on Software Testing, Verification, and Validation (ICST '08)Lillehammer, Norway, 9-11 April 2008.
BibTeX | Abstract | URL
465Akbar Siami Namin and James H. Andrews and Duncan J. Murdoch
Sufficient Mutation Operators for Measuring Test Effectiveness
Proceedings of the 30th International Conference on Software Engineering (ICSE'08)Leipzig, Germany, 10-18 May 2008.
BibTeX | Abstract | URL
466Weiglhofer, Martin and Wotawa, Franz
"On the Fly" Input Output Conformance Verification
Proceedings of the IASTED International Conference on Software EngineeringAnaheim, CA, USA, 2008.
BibTeX | Abstract | URL
467Fabiano Cutigi Ferrari and Jos{\'{e}} Carlos Maldonado and Awais Rashid
Mutation Testing for Aspect-Oriented Programs
First International Conference on Software Testing, Verification, and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, 2008.
BibTeX | Abstract | PDF | DOI
468Estero-Botaro, Antonia and Palomo-Lozano, Francisco and Medina-Bulo, Inmaculada
Mutation operators for WS-BPEL 2.0
21th International Conference on Software \& Systems Engineering and their Applications, 2008.
BibTeX | Abstract | URL
469Khaled El{-}Fakih and Anton Kolomeez and Svetlana Prokopenko and Nina Yevtushenko
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults
First International Conference on Software Testing, Verification, and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, 2008.
BibTeX | Abstract | PDF | DOI
470Prasanth Anbalagan and Tao Xie
Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE'08)Redmond, Washingto, 11-14 November 2008.
BibTeX | Abstract | URL
471Matthew Kaplan and Tim Klinger and Amit M. Paradkar and Avik Sinha and Clay Williams and Cemal Yilmaz
Less is More: {A} Minimalistic Approach to {UML} Model-Based Conformance Test Generation
First International Conference on Software Testing, Verification, and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, 2008.
BibTeX | Abstract | PDF | DOI
472Yue Jia and Mark Harman
MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
Proceedings of the 3rd Testing: Academic and Industrial Conference Practice and Research Techniques (TAIC PART'08)Windsor, UK, 29-31 August 2008.
BibTeX | Abstract | URL
473Gordon Fraser and Franz Wotawa
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Journal, 16(2), 2008.
BibTeX | Abstract | PDF | DOI
474Jaymie Strecker and Atif M. Memon
Relationships between Test Suites, Faults, and Fault Detection in {GUI} Testing
First International Conference on Software Testing, Verification, and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, 2008.
BibTeX | Abstract | PDF | DOI
475Akbar Siami Namin and James H. Andrews and Duncan J. Murdoch
Sufficient mutation operators for measuring test effectiveness
30th International Conference on Software Engineering {(ICSE} 2008), Leipzig, Germany, May 10-18, 2008, 2008.
BibTeX | Abstract | PDF | DOI
476X. Feng and S. Marr and T. O'Callaghan
ESTP: An Experimental Software Testing Platform
Testing: Academic Industrial Conference - Practice and Research Techniques (taic part 2008), Aug 2008.
BibTeX | Abstract | URL | DOI
477Yue Jia and Mark Harman
Constructing Subtle Faults Using Higher Order Mutation Testing
Eighth {IEEE} International Working Conference on Source Code Analysis and Manipulation {(SCAM} 2008), 28-29 September 2008, Beijing, China, 2008.
BibTeX | Abstract | PDF | DOI
478Roy Patrick Tan and Stephen Edwards
Evaluating Automated Unit Testing in Sulu
First International Conference on Software Testing, Verification, and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, 2008.
BibTeX | Abstract | PDF | DOI
479Ajitha Rajan and Michael W. Whalen and Matt Staats and Mats Per Erik Heimdahl
Requirements Coverage as an Adequacy Measure for Conformance Testing
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008.
BibTeX | Abstract | PDF | DOI
480Prasanth Anbalagan and Tao Xie
Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs
19th International Symposium on Software Reliability Engineering {(ISSRE} 2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}, 2008.
BibTeX | Abstract | PDF | DOI
481Tejeddine Mouelhi and Franck Fleurey and Benoit Baudry
A Generic Metamodel For Security Policies Mutation
First International Conference on Software Testing Verification and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings, 2008.
BibTeX | Abstract | PDF | DOI
482Matthew J. Rutherford and Antonio Carzaniga and Alexander L. Wolf
Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems
{IEEE} Trans. Software Eng., 34(4), 2008.
BibTeX | Abstract | PDF | DOI
483Cristian Cadar and Daniel Dunbar and Dawson R. Engler
{KLEE:} Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
8th {USENIX} Symposium on Operating Systems Design and Implementation, {OSDI} 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, 2008.
BibTeX | Abstract | PDF
484Kamel Ayari and Salah Bouktif and Giuliano Antoniol
Automatic mutation test input data generation via ant colony
Genetic and Evolutionary Computation Conference, {GECCO} 2007, Proceedings, London, England, UK, July 7-11, 2007, 2007.
BibTeX | Abstract | PDF | DOI
485Michael Ellims and Darrel C. Ince and Marian Petre
The Csaw C Mutation Tool: Initial Results
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL
486Javier Tuya and Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and Claudio de la Riva
Mutating database queries
Information {\&} Software Technology, 49(4), 2007.
BibTeX | Abstract | PDF | DOI
487Macario Polo and Sergio Tendero and Mario Piattini
Integrating techniques and tools for testing automation: Research Articles
Software Testing, Verification and Reliability, 17(1), March 2007.
BibTeX | Abstract | URL
488Tejeddine Mouelhi and Yves Le Traon and Benoit Baudry
Mutation Analysis for Security Tests Qualification
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL
489Evan E. Martin and Tao Xie
A Fault Model and Mutation Testing of Access Control Policies
Proceedings of the 16th International Conference on World Wide WebBanff, Alberta, Canada, 8-12 May 2007.
BibTeX | Abstract | URL
490Anna Derezi\'nska and Anna Szustek
CREAM- A System for Object-Oriented Mutation of C\# Programs
Warsaw University of Technology, Warszawa, Poland, 2007.
BibTeX | Abstract | URL
491Yves Le Traon and Tejeddine Mouelhi and Benoit Baudry
Testing Security Policies: Going Beyond Functional Testing
The 18th IEEE International Symposium on Software ReliabilityTrollh\"attan, Sweden, 5-9 November 2007.
BibTeX | Abstract | URL
492Mark Trakhtenbrot
New Mutations for Evaluation of Specification and Implementation Levels of Adequacy in Testing of Statecharts Models
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL
493Anna Derezi\'nska
Advanced mutation operators applicable in C\# programs
Software Engineering Techniques: Design for Quality, 2007.
BibTeX | Abstract | URL
494Pete May and Jon Timmis and Keith Mander
Immune and Evolutionary Approaches to Software Mutation Testing
Proceedings of the 6th International Conference on Artificial Immune Systems (ICARIS'07)Santos, Brazil, August 2007.
BibTeX | Abstract | URL
495Akbar Siami Namin and James H. Andrews
On Sufficiency of Mutants
Proceedings of the 29th International Conference on Software Engineering (ICSE COMPANION'07)Minneapolis, Minnesota, 20-26 May 2007.
BibTeX | Abstract | URL
496Peter S. May
Test Data Generation: Two Evolutionary Approaches to Mutation Testing
University of Kent, Canterbury, Kent, 2007.Unknown-
BibTeX | Abstract | URL
497Robert M. Hierons and Mercedes G. Merayo
Mutation Testing from Probabilistic Finite State Machines
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL
498Javier Tuya and Maria Jose Suarez Cabal and Claudio de la Riva
Mutating Database Queries
Information and Software Technology, 49(4), April 2007.
BibTeX | Abstract | URL
499Saswat Anand and Corina S. Pasareanu and Willem Visser
{JPF-SE:} {A} Symbolic Execution Extension to Java PathFinder
Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, {TACAS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, 2007.
BibTeX | Abstract | PDF | DOI
500Youssef Serrestou and Vincent Beroulle and Chantal Robach
Impact of Hardware Emulation on the Verification Quality Improvement
Proceedings of the IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip (VLSI-SoC'07)Atlanta, GA, 15-17 October 2007.
BibTeX | Abstract | URL
501Bartosz Bogacki and Bartosz Walter
Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing
Software Engineering Techniques: Design for Quality, 2007.
BibTeX | Abstract | URL
502Kamel Ayari and Salah Bouktif and Giuliano Antoniol
Automatic Mutation Test Input Data Generation via Ant Colony
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO'07)London, England, 7-11 July 2007.
BibTeX | Abstract | URL
503Sergiy Borodaya and Alexandre Petrenkoa and Roland Groz
Can a Model Checker Generate Tests for Non-Deterministic Systems?
Proceedings of the 3rd Workshop on Model Based Testing (MBT'07)Braga, Portugal, 31 March-1 April 2007.
BibTeX | Abstract | URL
504Lijun Shan and Hong Zhu
Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool
The Computer Journal, (), June 2007.
BibTeX | Abstract | URL
505Lydie du Bousquet and Michel Delaunay
Using Mutation Analysis to Evaluate Test Generation Strategies in a Synchronous Context
Proceedings of the 2nd International Conference on Software Engineering Advances (ICSEA'07)Cap Esterel, French Riviera, France, 25-31 August 2007.
BibTeX | Abstract | URL
506Sean A. Irvine and Tin Pavlinic and Leonard Trigg and John Gerald Cleary and Stuart J. Inglis and Mark Utting
Jumble Java Byte Code to Measure the Effectiveness of Unit Tests
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL
507Lydie du Bousquet and Michel Delaunay
Mutation Analysis for Lustre programs: Fault Model Description and Validation
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL
508M. Ellims and D. Ince and M. Petre
The Csaw C Mutation Tool: Initial Results
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007), Sept 2007.
BibTeX | Abstract | URL | DOI
509Shan-Shan Hou and Lu Zhang and Tao Xie and Hong Mei and Jia-Su Sun
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
Proceedings of the 23rd International Conference on Software Maintenance (ICSM'07)Paris, France, 2-5 October 2007.
BibTeX | Abstract | URL
510Jeremy S. Bradbury and James R. Cordy and Juergen Dingel
Comparative Assessment of Testing and Model Checking Using Program Mutation
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 2007.
BibTeX | Abstract | URL
511Gordon Fraser and Franz Wotawa
Mutant Minimization for Model-Checker Based Test-Case Generation
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL
512Mark Hampton and Stephane Petithomme
Leveraging a Commercial Mutation Analysis Tool For Research
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL
513Samrat S. Batth and Elisangela Rodrigues Vieira and Ana Rosa Cavalli and M. Umit Uyar
Specification of Timed EFSM Fault Models in SDL
Proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'07)Tallinn, Estonia, 26-29 June 2007.
BibTeX | Abstract | URL
514Benjamin Hatfield Smith and Laurie Williams
An Empirical Evaluation of the MuJava Mutation Operators
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL
515Chuan Zhao and Roger T. Alexander
Testing AspectJ Programs Using Fault-based Testing
Proceedings of the 3rd workshop on Testing Aspect-Oriented Programs (WTAOP'07)Vancouver, British Columbia, Canada, 17-22 March 2007.
BibTeX | Abstract | URL
516Songtao Zhang and Thomas R. Dean and G. Scott Knight
Lightweight State Based Mutation Testing for Security
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL
517Robert B. Evans and Alberto Savoia
Differential testing: a new approach to change detection
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, 2007.
BibTeX | Abstract | PDF | DOI
518Youssef Serrestou and Vincent Beroulle and Chantal Robach
Functional Verification of RTL Designs Driven by Mutation Testing Metrics
Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and ToolsLubeck, Germany, 29-31 August 2007.
BibTeX | Abstract | URL
519J. Tuya and M. J. Suarez-Cabal and C. de la Riva
SQLMutation: A tool to generate mutants of SQL database queries
Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006), Nov 2006.
BibTeX | Abstract | URL | DOI
520Javier Tuya and Maria Jose Suarez Cabal and Claudio de la Riva
SQLMutation: A Tool to Generate Mutants of SQL Database Queries
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
521Ammar Masood
Scalable and Effective Test Generation for Access Control Systems
Purdue University, West Lafayette, Indiana, 2006.Unknown-
BibTeX | Abstract | URL
522Hyunsook Do and Gregg Rothermel
On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
{IEEE} Trans. Software Eng., 32(9), 2006.
BibTeX | Abstract | PDF | DOI
523Hyunsook Do and Gregg Rothermel
On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
IEEE Transactions on Software Engineering, 32(9), September 2006.
BibTeX | Abstract | URL
524Anna Derezi\'nska
Quality Assessment of Mutation Operators Dedicated for C\# Programs
Proceedings of the 6th International Conference on Quality Software (QSIC'06)Beijing, China, 27-28 October 2006.
BibTeX | Abstract | URL
525Supaporn Kansomkeat and A. Jefferson Offutt and Wanchai Rivepiboon
Class-Component Testability Analysis
Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS'06)Madrid, Spain, 2006.
BibTeX | Abstract | URL
526Kalpesh Kapoor
Formal Analysis of Coupling Hypothesis for Logical Faults
Innovations in Systems and Software Engineering, 2(2), July 2006.
BibTeX | Abstract | URL
527Yves Le Traon and Benoit Baudry and Jean-Marc J\'ez\'equel
Design by Contract to Improve Software Vigilance
IEEE Transactions of Software Engineering, 32(8), August 2006.
BibTeX | Abstract | URL
528Huy Vu Do and Chantal Robach and Michel Delaunay
Mutation Analysis for Reactive System Environment Properties
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
529Yu-Seung Ma and A. Jefferson Offutt and Yong-Rae Kwon
MuJava: a Mutation System for Java
Proceedings of the 28th international Conference on Software Engineering (ICSE '06)Shanghai, China, 20-28 May 2006.
BibTeX | Abstract | URL
530Yu-Seung Ma and Mary Jean Harrold and Yong-Rae Kwon
Evaluation of Mutation Testing for Object-Oriented Programs
Proceedings of the 28th international Conference on Software Engineering (ICSE '06)Shanghai, China, 20-28 May 2006.
BibTeX | Abstract | URL
531Guillermo Gallardo and John May and Julio C. Gallardo
Assessment of Data Diversity Methods for Software Fault Tolerance Based on Mutation Analysis
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
532Joo A. Dures and Henrique S. Madeira
Emulation of Software Faults: A Field Data Study and a Practical Approach
IEEE Transactions on Software Engineering, 32(11), November 2006.
BibTeX | Abstract | URL
533Bernhard K. Aichernig and Carlo Corrales Delgado
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems
Proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering (FASE'06)Vienna, Austria, 27-28 March 2006.
BibTeX | Abstract | URL
534Sang-Woon Kim and Mary Jean Harrold and Yong-Rae Kwon
MUGAMMA: Mutation Analysis of Deployed Software to Increase Confidence and Assist Evolution
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
535Ming-Hao Liu and You-Feng Gao and Jin-Hui Shan and Jiang-Hong Liu and Lu Zhang and Jia-Su Sun
An Approach to Test Data Generation for Killing Multiple Mutants
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM'06)Philadelphia, Pennsylvania, USA, 24-27 September 2006.
BibTeX | Abstract | URL
536Ellen Francine Barbosa
Establishing a Mutation Testing Educational Module based on IMA-CID
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, 2006.
BibTeX | Abstract | URL
537Yu{-}Seung Ma and Jeff Offutt and Yong Rae Kwon
MuJava: a mutation system for java
28th International Conference on Software Engineering {(ICSE} 2006), Shanghai, China, May 20-28, 2006, 2006.
BibTeX | Abstract | PDF | DOI
538Jean-Marie Mottu and Benoit Baudry and Yves Le Traon
Mutation Analysis Testing for Model Transformations
Proceedings of the 2nd European Conference on Model Driven Architecture - Foundations and ApplicationsBilbao, Spain, July 2006.
BibTeX | Abstract | URL
539Bartosz Bogacki and Bartosz Walter
Evaluation of Test Code Quality with Aspect-Oriented Mutations
Proceedings of the 7th International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP'06)2006, Oulu, 17-22 June 2006.
BibTeX | Abstract | URL
540Shiyi Xu
A New Approach to Improving the Test Effectiveness in Software Testing Using Fault Collapsing
Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06)California, Riverside, 18-20 December 2006.
BibTeX | Abstract | URL
541Sagar Sen and Benoit Baudry
Mutation-based Model Synthesis in Model Driven Engineering
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
542Youssef Serrestou and Vincent Beroulle and Chantal Robach
How to Improve a Set of Design Validation Data by Using Mutation-Based Test
Proceedings of the IEEE Design and Diagnostics of Electronic Circuits and Systems (DDECS'06)Prague, Czech Republic, 18-21 April 2006.
BibTeX | Abstract | URL
543Jeremy S. Bradbury and James R. Cordy and Juergen Dingel
Mutation Operators for Concurrent Java (J2SE 5.0)
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
544Jeremy S. Bradbury and James R. Cordy and Juergen Dingel
ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
545James H. Andrews and Lionel C. Briand and Yvan Labiche and Akbar Siami Namin
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering, 32(8), August 2006.
BibTeX | Abstract | URL
546Ahyoung Sung and Jina Jang and Byoungju Choi
Fault-Based Interface Testing Between Real-Time Operating System and Application
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
547James H. Andrews and Lionel C. Briand and Yvan Labiche and Akbar Siami Namin
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
{IEEE} Trans. Software Eng., 32(8), 2006.
BibTeX | Abstract | PDF | DOI
548Chang-ai Sun and Yunwei Dong and Richard Lai and K. Y. Sim and T. Y. Chen
Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions
Proceedings of the 6th IEEE International Conference on Computer and Information TechnologySeoul, Korea, 20-22 September 2006.
BibTeX | Abstract | URL
549Fevzi Belli and Christof J. Budnik and W. Eric Wong
Basic Operations for Generating Behavioral Mutants
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, 2006.
BibTeX | Abstract | URL
550Jon S. Baekken and Roger T. Alexander
A Candidate Fault Model for AspectJ Pointcuts
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE'06)Raleigh, North Carolina, 7-10 November 2006.
BibTeX | Abstract | URL
551Lijun Shan and Hong Zhu
Testing Software Modelling Tools Using Data Mutation
Proceedings of the International Workshop on Automation of Software Test (AST'06)Shanghai, China, 20-28 May 2006.
BibTeX | Abstract | URL
552Benoit Baudry and Franck Fleurey and Yves Le Traon
Improving Test Suites for Efficient Fault Localization
Proceedings of the 28th International Conference on Software Engineering (ICSE'06)Shanghai, China, 20-28 May 2006.
BibTeX | Abstract | URL
553R. K. Singh and Pravin Chandra and Yogesh Singh
An Evaluation of Boolean Expression Testing Techniques
ACM SIGSOFT Software Engineering Notes, 31(5), September 2006.
BibTeX | Abstract | URL
554Huo Yan Chen and Su Hu
Two New Kinds of Class Level Mutants for Object-Oriented Programs
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC'06)Taipei, Taiwan, 8-11 October 2006.
BibTeX | Abstract | URL
555J. S. Bradbury and J. R. Cordy and J. Dingel
Mutation Operators for Concurrent Java (J2SE 5.0)
Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006), Nov 2006.
BibTeX | Abstract | URL | DOI
556Yves Crouzet and Helene Waeselynck and Benjamin Lussier and David Powell
The SESAME Experience: from Assembly Languages to Declarative Models
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
557Akbar Siami Namin and James H. Andrews
Finding Sufficient Mutation Operators via Variable Reduction
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
558A. Jefferson Offutt and Yu-Seung Ma and Yong-Rae Kwon
The Class-Level Mutants of MuJava
Proceedings of the International Workshop on Automation of Software Test (AST'06)Shanghai, China, 20-28 May 2006.
BibTeX | Abstract | URL
559Robert Nilsson and A. Jefferson Offutt and Jonas Mellin
Test Case Generation for Mutation-based Testing of Timeliness
Proceedings of the 2nd Workshop on Model Based Testing (MBT 2006)Vienna, Austria, 25-26 March 2006.
BibTeX | Abstract | URL
560A. Jefferson Offutt and Paul Ammann and Lisa (Ling) Liu
Mutation Testing implements Grammar-Based Testing
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
561Prasanth Anbalagan and Tao Xie
Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
562Benoit Baudry and Franck Fleurey and Jean-Marc Jezequel and Yves Le Traon
Automatic Test Case Optimization: A Bacteriologic Algorithm
IEEE Software, 22(2), March-April 2005.
BibTeX | Abstract | URL
563Yuan Zhan and John A. Clark
Search-based mutation testing for \emph{Simulink} models
Genetic and Evolutionary Computation Conference, {GECCO} 2005, Proceedings, Washington DC, USA, June 25-29, 2005, 2005.
BibTeX | Abstract | PDF | DOI
564Md. Mehedi Masud and Amiya Nayak and Marzia Zaman and Nita Bansal
Strategy for Mutation Testing Using Genetic Algorithms
Proceedings of the Canadian Conference on Electrical and Computer Engineering (CCECE '05)Montreal, Quebec, 1-4 May 2005.
BibTeX | Abstract | URL
565Benoit Baudry and Franck Fleurey and Jean-Marc Jezequel and Yves Le Traon
From Genetic to Bacteriological Algorithms for Mutation-based Testing
Software Testing, Verification and Reliability, 15(2), June 2005.
BibTeX | Abstract | URL
566Man F. Lau and Yuen T. Yu
An Extended Fault Class Hierarchy for Specification-based Testing
ACM Transactions on Software Engineering and Methodology, 14(3), July 2005.
BibTeX | Abstract | URL
567Ying Jiang and Shan-Shan Hou and Jin-Hui Shan and Lu Zhang and Bing Xie
Contract-Based Mutation for Testing Components
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05)Budapest, Hungary, 25-30 September 2005.
BibTeX | Abstract | URL | DOI
568Anna Derezi\'nska
Advanced Mutation Operators Applicable in C\# Programs
Warsaw University of Technology, Warszawa, Poland, 2005.
BibTeX | Abstract | URL
569Mike Papadakis
Error detection methods in Java Programs using the mutation method
Athens University of Economics and Business, , 2005.
BibTeX | Abstract | URL
570Kalpesh Kapoor and Jonathan P. Bowen
Ordering Mutants to Minimise Test Effort in Mutation Testing
Proceedings of the 4th International Workshop on Formal Approaches to Software Testing (FATES'04)Linz, Austria, 21 September 2005.
BibTeX | Abstract | URL
571Yu{-}Seung Ma and Jeff Offutt and Yong Rae Kwon
MuJava: an automated class mutation system
Softw. Test., Verif. Reliab., 15(2), 2005.
BibTeX | Abstract | PDF | DOI
572Yu-Seung Ma and A. Jefferson Offutt and Yong-Rae Kwon
MuJava: An Automated Class Mutation System
Software Testing, Verification & Reliability, 15(2), June 2005.
BibTeX | Abstract | URL
573Yuan Zhan and John A. Clark
Search-based Mutation Testing for Simulink Models
Proceedings of the Conference on Genetic and Evolutionary Computation (GECCO'05)Washington DC, USA, 25-29 June 2005.
BibTeX | Abstract | URL
574Bernhard K. Aichernig and Percy Antonio Pari Salas
Test Case Generation by OCL Mutation and Constraint Solving
Proceedings of the 5th International Conference on Quality Software (QSIC'05)Melbourne, Australia, 19-20 September 2005.
BibTeX | Abstract | URL
575Hoijin Yoon and Eunhee Kim and Joo Young Seo and Byoungju Choi
Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study
Proceedings of the 4th International Workshop on Formal Approaches to Software Testing (FATES'04)Linz, Austria, 21 September 2005.
BibTeX | Abstract | URL
576James H. Andrews and Lionel C. Briand and Yvan Labiche
Is mutation an appropriate tool for testing experiments?
27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}, 2005.
BibTeX | Abstract | PDF | DOI
577Yu-Seung Ma
Object-Oriented Mutation Testing for Java
KAIST University in Korea, , 2005.Unknown-
BibTeX | Abstract | URL
578Amit Paradkar
Case Studies on Fault Detection Effectiveness of Model Based Test Generation Techniques
Proceedings of the 1st International Workshop on Advances in Model-Based Testing (A-MOST'05)St. Louis, Missouri, 15-16 May 2005.
BibTeX | Abstract | URL
579Z. A. Al-Khanjari and Martin R. Woodward and Haider Ali Ramadhan and N. S. Kutti
The Efficiency of Critical Slicing in Fault Localization
Software Quality Journal, 13(2), June 2005.
BibTeX | Abstract | URL
580W. K. Chan and S. C. Cheung and T. H. Tse
Fault-Based Testing of Database Application Programs with Conceptual Data Model
Proceedings of the 5th International Conference on Quality Software (QSIC'05)Melbourne, Australia, 19 -20 September 2005.
BibTeX | Abstract | URL
581James H. Andrews and Lionel C. Briand and Yvan Labiche
Is Mutation an Appropriate Tool for Testing Experiments?
Proceedings of the 27th International Conference on Software Engineering (ICSE'05)St Louis, Missouri, 15-21 May 2005.
BibTeX | Abstract | URL
582Ling Liu and Huaikou Miao
Mutation Operators for Object-Z Specification
Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)Shanghai, China, 16-20 June 2005.
BibTeX | Abstract | URL
583Hyunsook Do and Gregg Rothermel
A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05)Budapest, Hungary, 25-30 September 2005.
BibTeX | Abstract | URL
584Jian Bing Li and James Miller
Testing the Semantics of W3C XML Schema
Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC'05)Turku, Finland, 26-28 July 2005.
BibTeX | Abstract | URL
585Wuzhi Xu and A. Jefferson Offutt and Juan Luo
Testing Web Services by XML Perturbation
Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05)Chicago Illinois, 14-16 July 2005.
BibTeX | Abstract | URL
586Mathieu Scholive and Vincent Beroulle and Chantal Robach and M. L. Flottes and B. Rouzeyre
Mutation Sampling Technique for the Generation of Structural Test Data
Proceedings of the Conference on Design, Automation and Test in Europe (DATE'05)Munich, Germany,, 7-11 March 2005.
BibTeX | Abstract | URL
587Xia Cai and Michael R. Lyu
The Effect of Code Coverage on Fault Detection Under Different Testing Profiles
Proceedings of the 1st International Workshop on Advances in Model-Based Testing (A-MOST'05)St. Louis, Missouri, 15-16 May 2005.
BibTeX | Abstract | URL
588A. Jefferson Offutt and Yu-Seung Ma and Yong-Rae Kwon
An Experimental Mutation System for Java
ACM SIGSOFT Software Engineering Notes, 29(5), September 2004.
BibTeX | Abstract | URL
589A. Jefferson Offutt and Wuzhi Xu
Generating Test Cases for Web Services Using Data Perturbation
Proceedings of the Workshop on Testing, Analysis and Verification of Web Services (TAV-WEB)Boston, Massachusetts, 11-14 July 2004.
BibTeX | Abstract | URL
590Te-Chang Lee and Pao-Ann Hsiung
Mutation Coverage Estimation for Model Checking
Proceedings of the 2nd International Conference on Automated Technology for Verification and Analysis (ATVA'04)Taipei, Taiwan, 31 October - 3 November 2004.
BibTeX | Abstract | URL
591Brad Long and Roger Duke and Doug Goldson and Paul Strooper and Luke Wildman
Mutation-based Exploration of a Method for Verifying Concurrent Java Components
18th International Parallel and Distributed Processing Symposium (IPDPS'04)Santa Fe, New Mexico, 26-30 April 2004.
BibTeX | Abstract | URL
592Jeff Offutt and Yu{-}Seung Ma and Yong Rae Kwon
An experimental mutation system for Java
{ACM} {SIGSOFT} Software Engineering Notes, 29(5), 2004.
BibTeX | Abstract | PDF | DOI
593Robert Nilsson and A. Jefferson Offutt and Sten F. Andler
Mutation-based Testing Criteria for Timeliness
Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04)Hong Kong, China, 28-30, September 2004.
BibTeX | Abstract | URL
594Tatiana Sugeta and Jose Carlos Maldonado and W. Eric Wong
Mutation Testing Applied to Validate SDL Specifications
Proceedings of the 16th IFIP International Conference on Testing of Communicating SystemsOxford, UK, 17-19 March 2004.
BibTeX | Abstract | URL
595Vadim Okun
Specification Mutation for Test Generation and Analysis
University of Maryland Baltimore County, Baltimore, Maryland, 2004.Unknown-
BibTeX | Abstract | URL
596Hyo-Jeong Lee and Yu-Seong Ma and Yong-Rae Kwon
Empirical Evaluation of Orthogonality of Class Mutation Operators
Proceedings of the 11th Asia-Pacific Software Engineering ConferenceBusan, Korea, 30 November - 3 December 2004.
BibTeX | Abstract | URL
597Vadim Okun and Paul E. Black and Yaacov Yesha
Comparison of Fault Classes in Specification-based Testing
Information and Software Technology, 46(8), June 2004.
BibTeX | Abstract | URL
598Giovanni Vigna and William Robertson and Davide Balzarotti
Testing Network-based Intrusion Detection Signatures using Mutant Exploits
Proceedings of the 11th ACM Conference on Computer and Communications SecurityWashington DC, USA, 2004.
BibTeX | Abstract | URL
599Inali Wisniewski Soares and Silvia Regina Vergilio
Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing
Journal of Electronic Testing: Theory and Applications, 20(4), August 2004.
BibTeX | Abstract | URL
600Dave Binkley and Sebastian Danicic and Tibor Gyim\'othy and Mark Harman and \'Akos Kiss and Lahcen Ouarbya
Formalizing Executable Dynamic and Forward Slicing
$4^{th}$ International Workshop on Source Code Analysis and Manipulation ({SCAM 04})Los Alamitos, California, USA, #sep# 2004.
BibTeX | Abstract | URL
601Jorge Campos and Hussain Al-Asaad
Mutation-based Validation of High-level Microprocessor Implementations
Proceedings of the 9th Workshop on High-Level Design Validation and Test, 2004.
BibTeX | Abstract | URL
602Hoijin Yoon and Byoungju Choi
Effective Test Case Selection for Component Customization and its Application to Enterprise JavaBeans: Research Articles
Software Testing, Verification and Reliability, 14(1), March 2004.
BibTeX | Abstract | URL
603Konstantinos Adamopoulos and Mark Harman and Robert M. Hierons
How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO'04)Seattle, Washington, USA, 26th-30th, June 2004.
BibTeX | Abstract | URL
604Robert Nilsson and Jeff Offutt and Sten F. Andler
Mutation-Based Testing Criteria for Timeliness
28th International Computer Software and Applications Conference {(COMPSAC} 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, 2004.
BibTeX | Abstract | PDF | DOI
605Anna Derezi\'nska
Object-oriented Mutation to Assess the Quality of Tests
Proceedings of the 29th Euromicro ConferenceBelek, Turkey, 1-6 September 2003.
BibTeX | Abstract | URL
606Simon Carter and Malcolm Graham and Paul Strooper and Zhiguo Yuan
Mutation Analysis to Verify Feature Matrices for Isolating Errors in Simulation Models
Proceedings of the 26th Australasian Computer Science Conference (ACSC'03)Adelaide, Australia, 4-7 February 2003.
BibTeX | Abstract | URL
607K. S. How Tai Wah
An Analysis of the Coupling Effect I: Single Test Data
Science of Computer Programming, 48(2-3), August-September 2003.
BibTeX | Abstract | URL
608Emilio Gaudette and Michael Moussa and Ian G.Harris
A Method for the Evaluation of Behavioral Fault Models
Proceedings of the 8th IEEE International Workshop on High-Level Design Validation and Test Workshop, 2003.
BibTeX | Abstract | URL
609Ronald Finkbine
Usage of Mutation Testing as a Measure of Test Suite Robustness
Proceedings of the 22nd Digital Avionics Systems Conference (DASC '03), 12-16 October 2003.
BibTeX | Abstract | URL
610Bernhard K. Aichernig
Mutation Testing in the Refinement Calculus
Formal Aspects of Computing, 15(2-3), November 2003.
BibTeX | Abstract | URL
611Michael R. Lyu and Zubin Huang and Sam K. S. Sze and Xia Cai
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE'03)Denver,Colorado, 17-20 November 2003.
BibTeX | Abstract | URL
612Jo{\~{a}}o Dur{\~{a}}es and Henrique Madeira
Definition of Software Fault Emulation Operators: {A} Field Data Study
2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, 2003.
BibTeX | Abstract | PDF | DOI
613Yunzhan Gong and Wanli Xu and Xiaowei Li
An Expression's Single Fault Model and the Testing Methods
Proceedings of the 12th Asian Test Symposium (ATS'03)Xian, China, 16-19 November 2003.
BibTeX | Abstract | URL
614James H. Andrews and Yingjun Zhang
General Test Result Checking with Log File Analysis
{IEEE} Trans. Software Eng., 29(7), 2003.
BibTeX | Abstract | PDF | DOI
615T. Y. Chen and T. H. Tse and Zhiquan Zhou
Fault-based Testing Without the Need of Oracles
Information and Software Technology, 45(1), January 2003.
BibTeX | Abstract | URL
616Thitima Srivatanakul and John A. Clark and Susan Stepney and Fiona Polack
Challenging Formal Specifications by Mutation: a CSP Security Example
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC'03)Chiang Mai, Thailand, 10-12 December 2003.
BibTeX | Abstract | URL
617Ian G. Harris
Fault Models and Test Generation for Hardware-Software Covalidation
IEEE Design & Test, 20(4), July 2003.
BibTeX | Abstract | URL
618Willem Visser and Klaus Havelund and Guillaume P. Brat and Seungjoon Park and Flavio Lerda
Model Checking Programs
Autom. Softw. Eng., 10(2), 2003.
BibTeX | Abstract | PDF | DOI
619Peter May and Keith Mander and Jon Timmis
Software Vaccination: An Artificial Immune System Approach to Mutation Testing
Proceedings of the 2nd International Conference Artificial Immune Systems (ICARIS'03), 1-3 September 2003.
BibTeX | Abstract | URL
620Robert M. Hierons
Comparing Test Sets and Criteria in the Presence of Test Hypotheses and Fault Domains
ACM Transactions on Software Engineering and Methodology, 11(4), October 2002.
BibTeX | Abstract | URL
621Yu{-}Seung Ma and Yong Rae Kwon and Jeff Offutt
Inter-Class Mutation Operators for Java
13th International Symposium on Software Reliability Engineering {(ISSRE} 2002), 12-15 November 2002, Annapolis, MD, {USA}, 2002.
BibTeX | Abstract | PDF | DOI
622Branson W. Murrill and Larry Joe Morell and Erika Mir Olimpiew
A Perturbation-based Testing Strategy
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems2-4 December, Greenbelt, Maryland 2002.
BibTeX | Abstract | URL
623Sudipto Ghosh
Towards Measurement of Testability of Concurrent Object-oriented Programs Using Fault Insertion: a Preliminary Investigation
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02)Los Alamitos, California, 2002.
BibTeX | Abstract | URL
624Roger T. Alexander and James M. Bieman and Sudipto Ghosh and Bixia Ji
Mutation of Java Objects
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE'02)Annapolis, Maryland, 12-15 November 2002.
BibTeX | Abstract | URL
625Benoit Baudry and Franck Fleurey and Jean-Marc Jezequel and Yves Le Traon
Automatic Test Case Optimization Using a Bacteriological Adaptation Model: Application to .NET Components
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE'02)Edinburgh, Scotland, 23-27 September 2002.
BibTeX | Abstract | URL
626P. Chevalley and Pascale Th\'evenod-Fosse
A Mutation Analysis Tool for Java Programs
International Journal on Software Tools for Technology Transfer, 5(1), November 2002.
BibTeX | Abstract | URL
627P. Vilela and M. Machado and W. Eric Wong
Testing for Security Vulnerabilities in Software
Software Engineering and Applications, 2002.
BibTeX | Abstract | URL
628Guido Wimmel and Jan Jurjens
Specification-Based Test Generation for Security-Critical Systems Using Mutations
Proceedings of the 4th International Conference on Formal Engineering Methods (ICFEM'02)Shanghai, China, 21-25 October 2002.
BibTeX | Abstract | URL
629Benoit Baudry and Franck Fleurey and Jean-Marc Jezequel and Yves Le Traon
Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE'02)Annapolis, Maryland, 12-15 November 2002.
BibTeX | Abstract | URL
630Roger T. Alexander and A. Jefferson Offutt and James M. Bieman
Syntactic Fault Patterns in OO Programs
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS'02)Greenbelt, Maryland, 2-4 December 2002.
BibTeX | Abstract | URL
631Yu-Seung Ma and Yong-Rae Kwon and A. Jefferson Offutt
Inter-class Mutation Operators for Java
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE'02)Annapolis, Maryland, 12-15 November 2002.
BibTeX | Abstract | URL
632Wei Chen and Roland H. Untch and Gregg Rothermel and Sebastian Elbaum and Jeffery von Ronne
Can Fault-Exposure-Potential Estimates Improve the Fault Detection Abilities of Test Suites?
Software Testing, Verification and Reliability, 12(4), December 2002.
BibTeX | Abstract | URL
633P. Chevalley
Applying Mutation Analysis for Object-oriented Programs Using a Reflective Approach
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 01)Macau, China, 4-7 December 2001.
BibTeX | Abstract | URL
634T. Y. Chen and T. H. Tse and Zhiquan Zhou
Fault-Based Testing in the Absence of an Oracle
Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development (COMPSAC'01)Chicago, Illinois, 08-12 October 2001.
BibTeX | Abstract | URL
635Qiushuang Zhang, Ian G. Harris
A Validation Fault Model for Timing-Induced Functional Errors
Proceedings of the International Test Conference 2001 (ITC'01)Baltimore, Maryland, 30 October- 01 November 2001.
BibTeX | Abstract | URL
636Ivan Moore
Jester - a JUnit test tester
Proceeding of eXtreme Programming Conference (XP'01), 2001.
BibTeX | Abstract | URL
637Marcio Eduardo Delamaro and Jose Carlos Maldonado and Aditya P. Mathur
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering, 27(3), May 2001.
BibTeX | Abstract | URL
638T. Olsson and P. Runeson
System Level Mutation Analysis Applied to a State-based Language
Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'01)Washington DC, 17-20 April 2001.
BibTeX | Abstract | URL
639Suet Chun Lee and A. Jefferson Offutt
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE'01)Hong Kong, China, November 2001.
BibTeX | Abstract | URL
640A. Jefferson Offutt and Roland H. Untch
Mutation 2000: Uniting the Orthogonal
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
641Ronald W. Ritchey
Mutating network models to generate network security test cases
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
642Marcio Eduardo Delamaro and Jose Carlos Maldonado and A. Vincenzi
Proteum/IM 2.0: An Integrated Mutation Testing Environment
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
643Mei{-}Hwa Chen and Michael R. Lyu and W. Eric Wong
Effect of code coverage on software reliability measurement
{IEEE} Trans. Reliability, 50(2), 2001.
BibTeX | Abstract | PDF | DOI
644Jose Carlos Maldonado and Ellen Francine Barbosa and Auri Marcelo Rizzo Vincenzi and Marcio Eduardo Delamaro
Evaluating N-selective mutation for C programs: unit and integration testing
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
645Jose Carlos Maldonado and Marcio Eduardo Delamaro and Sandra C. P. F. Fabbri and Adenilso da Silva Sim\, ao and Tatiana Sugeta and Auri Marcelo Rizzo Vincenzi and Paulo Cesar Masiero
Proteum: a family of tools to support specification and program testing based on mutation
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
646Marcio Eduardo Delamaro and Jose Carlos Maldonado and Alberto Pasquini and Aditya P. Mathur
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering, 6(2), June 2001.
BibTeX | Abstract | URL
647Auri Marcelo Rizzo Vincenzi and Jose Carlos Maldonado and E. F. Barbosa and Marcio Eduardo Delamaro
Unit and Integration Testing Strategies for C Programs Using Mutation
Software Testing, Verification and Reliability, 11(4), November 2001.
BibTeX | Abstract | URL
648Mark Harman and Robert M. Hierons and Sebastian Danicic
The Relationship Between Program Dependence and Mutation Analysis
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
649Paul E. Black and Vadim Okun and Yaacov Yesha
Mutation of Model Checker Specifications for Test Generation and Evaluation
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
650M{\'{a}}rcio Eduardo Delamaro and Jos{\'{e}} Carlos Maldonado and Aditya P. Mathur
Interface Mutation: An Approach for Integration Testing
{IEEE} Trans. Software Eng., 27(3), 2001.
BibTeX | Abstract | PDF | DOI
651Delamaro, M{\'a}rcio Eduardo and Maldonado, Jos{\'e} Carlos and Vincenzi, Auri Marcelo Rizzo
Proteum/IM 2.0: An Integrated Mutation Testing Environment
Unknown-
BibTeX | Abstract | PDF | DOI
652David Jackson and Martin R. Woodward
Parallel firm mutation of Java programs
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
653J.M. Bieman and S. Ghosh and Roger T. Alexander
A Technique for Mutation of Java Objects
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01)San Diego, California, 26-29 November 2001.
BibTeX | Abstract | URL
654Benoit Baudry and Vu Le Hanh and Jean-Marc J\'ez\'equel and Yves Le Traon
Trustable Components: Yet Another Mutation-Based Approach
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
655Sudipto Ghosh and Priya Govindarajan and Aditya P. Mathur
TDS: a Tool for Testing Distributed Component-Based Applications
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
656Hoijin Yoon and Byoungju Choi
Component Customization Testing Technique Using Fault Injection Technique and Mutation Test Criteria
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
657Sudipto Ghosh and Aditya P. Mathur
Interface Mutation
Software Testing, Verification and Reliability, 11(3), March 2001.
BibTeX | Abstract | URL
658Ellen Francine Barbosa and Jose Carlos Maldonado and Auri Marcelo Rizzo Vincenzi
Toward the determination of sufficient mutant operators for C
Software Testing, Verification and Reliability, 11(2), May 2001.
BibTeX | Abstract | URL
659Ian G. Harris
Hardware-Software Covalidation: Fault Models and Test Generation
Proceedings of the 6th IEEE International High-Level Design Validation and Test Workshop (HLDVT'01)Monterey, California, 07-09 December 2001.
BibTeX | Abstract | URL
660Sunwoo Kim and John A. Clark and John A. McDermid
Investigating the effectiveness of object-oriented testing strategies using the mutation method
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001.
BibTeX | Abstract | URL
661A. Jefferson Offutt and Roland Untch
{Mutation 2000}: {Uniting} the Orthogonal
{Mutation 2000}San Jose, California, USA, #Oct# 2001.
BibTeX | Abstract | URL
662Timothy K. Tsai and Navjot Singh
How Reliable Is Your NT Application?: Using Fault Injection to Test Critical Applications
Unknown-
BibTeX | Abstract | URL
663Simone Do Rocio Senger De Souza and Jose Carlos Maldonado and Sandra Camargo Pinto Ferraz Fabbri and Wanderley Lopes De Souza
Mutation Testing Applied to Estelle Specifications
Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS'08)Maui, Hawaii, 4-7 January 2000.
BibTeX | Abstract | URL
664Sudipto Ghosh and Aditya P. Mathur
Interface Mutation to Assess the Adequacy of Tests for Componentsand Systems
Proceedings of the 34th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'00)Santa Barbara, California, 30 July - 4 August 2000.
BibTeX | Abstract | URL
665Wei Ding
Using Mutation to Generate Tests from Specifications
George Mason University, Fairfax, VA, 2000.
BibTeX | Abstract | URL
666Marcio Eduardo Delamaro and Jose Carlos Maldonado and Alberto Pasquini and Aditya P. Mathur
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
State University of Maring\'a, Parana, Brasil, 2000.
BibTeX | Abstract | URL
667Paul E. Black and Vadim Okun and Yaacov Yesha
Mutation Operators for Specifications
The Fifteenth {IEEE} International Conference on Automated Software Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000, 2000.
BibTeX | Abstract | PDF | DOI
668Wenliang Du and Aditya P. Mathur
Testing for Software Vulnerability Using Environment Perturbation
Proceeding of the International Conference on Dependable Systems and Networks (DSN'00)New York, NY, 25-28 June 2000.
BibTeX | Abstract | URL
669P. Vado and Y. Savaria and Y. Zoccarato and C. Robach
A Methodology for Validating Digital Circuits with Mutation Testing
Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS'00)Geneva Switzerland, 28-31 May 2000.
BibTeX | Abstract | URL
670Paul Ammann
System Testing via Mutation Analysis of Model Checking Specifications
ACM SIGSOFT Software Engineering Notes, 25(1), January 2000.
BibTeX | Abstract | URL
671Sudipto Ghosh
Testing Component-Based Distributed Applications
Purdue University, West Lafayette, Indiana, 2000.Unknown-
BibTeX | Abstract | URL
672Sunwoo Kim and John A. Clark and John A. McDermid
Class Mutation: Mutation Testing for Object-oriented Programs
Proceedings of the Net.ObjectDays Conference on Object-Oriented Software Systems, 2000.
BibTeX | Abstract | URL
673K. S. How Tai Wah
A Theoretical Study of Fault Coupling
Software Testing, Verification and Reliability, 10(1), April 2000.
BibTeX | Abstract | URL
674Lionel C. Briand and Dietmar Pfahl
Using simulation for assessing the real impact of test-coverage on defect-coverage
{IEEE} Trans. Reliability, 49(1), 2000.
BibTeX | Abstract | PDF | DOI
675Robert M. Hierons and Mark Harman and Sebastian Danicic
Using Program Slicing to Assist in the Detection of Equivalent Mutants
Software Testing, Verification and Reliability, 9(4), December 1999.
BibTeX | Abstract | URL
676Marcio Eduardo Delamaro and Jose Carlos Maldonado
Interface Mutation: Assessing Testing Quality at Interprocedural Level
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)Talca, Chile, 11-13 November 1999.
BibTeX | Abstract | URL
677A. Jefferson Offutt and Zhenyi Jin and Jie Pan
The Dynamic Domain Reduction Procedure for Test Data Generation
Software:Practice and Experience, 29(2), February 1999.
BibTeX | Abstract | URL
678Elfurjani S. Mresa and Leonardo Bottaci
Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical Study
Software Testing, Verification and Reliability, 9(4), December 1999.
BibTeX | Abstract | URL
679Simone do Rocio Senger de Souza and Jos{\'{e}} Carlos Maldonado and Sandra Camargo Pinto Ferraz Fabbri and Wanderley Lopes de Souza
Mutation Testing Applied to Estelle Specifications
Software Quality Journal, 8(4), 1999.
BibTeX | Abstract | PDF | DOI
680Simone Do Rocio Senger De Souza and Jose Carlos Maldonado and Sandra Camargo Pinto Ferraz Fabbri and Wanderley Lopes De Souza
Mutation Testing Applied to Estelle Specifications
Software Quality Control, 8(4), December 1999.
BibTeX | Abstract | URL
681Timothy K. Tsai and Mei-Chen Hsueh and Hong Zhao and Zbigniew Kalbarczyk and Ravishankar K. Iyer
Stress-based and Path-based Fault Injection
IEEE Transactions on Computers, 48(11), November 1999.
BibTeX | Abstract | URL
682Gregg Rothermel and Roland H. Untch and Chengyun Chu and Mary Jean Harrold
Test Case Prioritization: An Empirical Study
1999 International Conference on Software Maintenance, {ICSM} 1999, Oxford, England, UK, August 30 - September 3, 1999, 1999.
BibTeX | Abstract | PDF | DOI
683I. Koufareva and Alexandre Petrenko and Nina Yevtushenko
Test Generation Driven by User-defined Fault Models
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems (IWTCS'09)Budapest, Hungary, 1-3 September 1999.
BibTeX | Abstract | URL
684W. Eric Wong and Joseph R. Horgan and Aditya P. Mathur and Alberto Pasquini
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application
Journal of Systems and Software, 48(2), October 1999.
BibTeX | Abstract | URL
685Sandra C. P. F. Fabbri and Jose Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)Talca, Chile, 11-13 November 1999.
BibTeX | Abstract | URL
686Binder, Robert V.
Testing Object-oriented Systems: Models, Patterns, and Tools
Unknown-
BibTeX | Abstract | URL
687Sandra Camargo Pinto Ferraz Fabbri and Jose Carlos Maldonado and Tatiana Sugeta and Paulo Cesar Masiero
Mutation Testing Applied to Validate Specifications Based on Statecharts
Proceedings of the 10th International Symposium on Software Reliability Engineering (ISSRE'99)Boca Raton, Florida, 1-4 November 1999.
BibTeX | Abstract | URL
688Sunwoo Kim and John A. Clark and John A. McDermid
The Rigorous Generation of Java Mutation Operators Using HAZOP
Proceedings of the 12th International Cofference Software and Systems Engineering and their Applications (ICSSEA 99)Paris, France, 29 November-1 December 1999.
BibTeX | Abstract | URL
689Sunwoo Kim and John A. Clark and John A. McDermid
Assessing Test Set Adequacy for Object Oriented Programs Using Class Mutation
Proceedings of the 3rd Symposium on Software Technology (SoST'99)Buenos Aires, Argentina, 8-9 September 1999.
BibTeX | Abstract | URL
690P. Jalote
Testing the completeness of specifications
IEEE Transactions of Software Engineering, 15(5), May 1998.
BibTeX | Abstract | URL
691H. Yoon and B. Choi and J. -O. Jeon
Mutation-Based Inter-Class Testing
Proceedings of the 5th Asia Pacific Software Engineering Conference (APSEC'98)Taipei, Taiwan, 2-4 December 1998.
BibTeX | Abstract | URL
692Timothy K. Tsai
Fault Tolerance Via N-Modular Software Redundancy
Proceedings of the 28th International Symposium on Fault-Tolerant Computing (FTCS'98)Munich, Germany, 23-25 June 1998.
BibTeX | Abstract | URL
693Phyllis G. Frankl and Oleg Iakounenko
Further Empirical Studies of Test Effectiveness
{SIGSOFT} '98, Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, Lake Buena Vista, Florida, USA, November 3-5, 1998, 1998.
BibTeX | Abstract | PDF | DOI
694Anup K. Ghosh and Tom O`Connor and Grary McGraw
An Automated Approach for Identifying Potential Vulnerabilities in Software
Proceedings of the IEEE Symposium on Security and Privacy (S&P'98)Oakland, California, 3-6 May 1998.
BibTeX | Abstract | URL
695W. Eric Wong and Joseph R. Horgan and Saul London and Aditya P. Mathur
Effect of Test Set Minimization on Fault Detection Effectiveness
Software:Practice and Experience, 28(), 1998.
BibTeX | Abstract | URL
696Wenliang Du and Aditya P. Mathur
Vulnerability Testing of Software System Using Fault Injection
Purdue UniversityCOAST TR 98-02, West Lafayette, Indiana, 1998.
BibTeX | Abstract | URL
697A. Jefferson Offutt and Jie Pan
Automatically Detecting Equivalent Mutants and Infeasible Paths
Software Testing, Verification and Reliability, 7(3), September 1997.
BibTeX | Abstract | URL
698Jeffrey Voas and Gary McGraw
{S}oftware {F}ault {I}njection: {I}noculating {P}rograms {A}gainst {E}rrors
Unknown-
BibTeX | Abstract | URL
699Phyllis G. Frankl and Stewart N. Weiss and Cang Hu
All-uses vs mutation testing: An experimental comparison of effectiveness
Journal of Systems and Software, 38(3), 1997.
BibTeX | Abstract | PDF | DOI
700Timothy K. Tsai and Shambhu Upadhyaya and Hong Zhao and Mei-Chen Hsueh, and Ravishankar K. Iyer
Path-based Fault Injection
Proceedings of the 3rd International Conference on Reliability and Quality in Design (ISSAT'97), 1997.
BibTeX | Abstract | URL
701Mary Jean Harrold and A. Jefferson Offutt and Kanupriya Tewary
An Approach to Fault Modeling and Fault Seeding Using the Program Dependence Graph
Journal of Systems and Software, 36(3), March 1997.
BibTeX | Abstract | URL
702L. Morell and B. Murrill and R. Rand
Perturbation Analysis of Computer Programs
Proceedings of the 12th Annual Conference on Computer Assurance (COMPASS'97)Gaithersburg, Maryland, 16-19 June 1997.
BibTeX | Abstract | URL
703Phyllis G. Frankl and Stewart N. Weiss and Cang Hu
All-uses vs Mutation Testing: an Experimental Comparison of Effectiveness
Journal of Systems and Software, 38(3), September 1997.
BibTeX | Abstract | URL
704C. Aktouf and G. Al-Hayek and C. Robach
Concurrent Testing of VLSI Digital Signal Processors Using Mutation Based Testing
Proceedings of the Workshop on Defect and Fault-Tolerance in VLSI Systems (DFT '97)Paris, France, 20-22 October 1997.
BibTeX | Abstract | URL
705Eric Wong and Joseph R. Horgan and Aditya P. Mathur and Alberto Pasquini
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application
Proceedings of the 21st Annual International Computer Software and Applications Conference (COMPSAC'07)Washington, DC, 11-15 August 1997.
BibTeX | Abstract | URL
706Mei-Chen Hsueh and Timothy K. Tsai and Ravishankar K. Iyer
Fault Injection Techniques and Tools
IEEE Computer, 30(4), April 1997.
BibTeX | Abstract | URL
707Jeffrey Voas and Gary McGraw
Software Fault Injection: Inoculating Programs Against Errors
Unknown-
BibTeX | Abstract | URL
708Kuo{-}Chung Tai
Theory of Fault-Based Predicate Testing for Computer Programs
{IEEE} Trans. Software Eng., 22(8), 1996.
BibTeX | Abstract | PDF | DOI
709A. Jefferson Offutt and Jeff Voas and Jeff Payn
Mutation Operators for Ada
George Mason UniversityISSE-TR-96-09, Fairfax, Virginia, 1996.
BibTeX | Abstract | URL
710A. Jefferson Offutt and Jie Pan and Kanupriya Tewary and Tong Zhang
An Experimental Evaluation of Data Flow and Mutation Testing
Software:Practice and Experience, 26(2), February 1996.
BibTeX | Abstract | URL
711A. Jefferson Offutt and Jie Pan
Detecting Equivalent Mutants and the Feasible Path Problem
Proceedings of the 1996 Annual Conference on Computer AssuranceGaithersburg, Maryland, June 1996.
BibTeX | Abstract | URL
712A. Jefferson Offutt and Ammei Lee and Gregg Rothermel and Roland H. Untch and Christian Zapf
An Experimental Determination of Sufficient Mutant Operators
ACM Transactions on Software Engineering and Methodology, 5(2), April 1996.
BibTeX | Abstract | URL
713A. Jefferson Offutt and Ammei Lee and Gregg Rothermel and Roland H. Untch and Christian Zapf
An Experimental Determination of Sufficient Mutant Operators
{ACM} Trans. Softw. Eng. Methodol., 5(2), 1996.
BibTeX | Abstract | PDF | DOI
714A. Jefferson Offutt and J. Huffman Hayes
A Semantic Model of Program Faults
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'96)San Diego, California, January 1996.
BibTeX | Abstract | URL
715Kuo-Chung Tai
Theory of Fault-based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering, 22(8), August 1996.
BibTeX | Abstract | URL
716Marcio Eduardo Delamaro and Jose Carlos Maldonado
Proteum-A Tool for the Assessment of Test Adequacy for C Programs
Proceedings of the Conference on Performability in Computing Systems (PCS'96)New Brunswick, New Jersey, July 1996.
BibTeX | Abstract | URL
717Murial Daran and Pascale Th\'evenod-Fosse
Software Error Analysis: A Real Case Study Involving Real Faults and Mutations
ACM SIGSOFT Software Engineering Notes, 21(3), May 1996.
BibTeX | Abstract | URL
718Marcio Eduardo Delamaro and Jose Carlos Maldonado and Aditya P. Mathur
Integration Testing Using Interface Mutation
Proceedings of the seventh International Symposium on Software Reliability Engineering (ISSRE '96)White Plains, New York, 30 October - 02 November 1996.
BibTeX | Abstract | URL
719Spyros Xanthakis and Constantinos Karapoulios and Regis Pajot and Ahmed Rozz
Immune System and Fault-tolerant Computing
Proceedings of the European conference on Artificial Evolution (AE'95)Brest, France, 4–6 September 1996.
BibTeX | Abstract | URL
720A. Jefferson Offutt and Jie Pan and Kanupriya Tewary and Tong Zhang
An Experimental Evaluation of Data Flow and Mutation Testing
Softw., Pract. Exper., 26(2), 1996.
BibTeX | Abstract | PDF | DOI
721Richard A. DeMillo and Aditya P. Mathur and W. Eric Wong
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods
IEEE Transactions of Software Engineering, 21(10), October 1995.
BibTeX | Abstract | URL
722W. Eric Wong and Joseph R. Horgan and Saul London and Aditya P. Mathur
Effect of Test Set Minimization on Fault Detection Effectiveness
Proceedings of the 17th International Conference on Software Engineering (ICSE '95)Seattle, Washington, 23-30 April 1995.
BibTeX | Abstract | URL
723A. Jeff Offutt and J. Pan and Jeffrey M. Voas
Procedures for Reducing the Size of Coverage-based Test Sets
Proceedings of the 12 International Conference on Testing Computer SoftwareWashington, DC, June 1995.
BibTeX | Abstract | URL
724Sandra Camargo Pinto Ferraz Fabbri and Jose Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro and W. Eric Wong
Mutation Testing Applied to Validate Specifications Based on Petri Nets
Proceedings of the IFIP TC6 8th International Conference on Formal Description Techniques VIII, 1995.
BibTeX | Abstract | URL
725W. Eric Wong and Aditya P. Mathur
Reducing the Cost of Mutation Testing: An Empirical Study
Journal of Systems and Software, 31(3), December 1995.
BibTeX | Abstract | URL | DOI
726K. S. How Tai Wah
Fault Coupling in Finite Bijective Functions
Software Testing, Verification and Reliability, 5(1), 1995.
BibTeX | Abstract | URL
727R. A. DeMillo and A. P. Mathur
A Grammar Based Fault Classification Scheme and its Application to the Classification of the Errors of TeX
Purdue UniversitySERC-TR-165-P, West Lafayette, Indiana, 1995.
BibTeX | Abstract | URL
728Roland H. Untch
Schema-based Mutation Analysis: A New Test Data Adequacy Assessment Method
Clemson University, Clemson, South Carolina, 1995.Unknown-
BibTeX | Abstract | URL
729W. Eric Wong and Aditya P. Mathur
Fault Detection Effectiveness of Mutation and Data Flow Testing
Software Quality Journal, 4(1), March 1995.
BibTeX | Abstract | URL
730Pascale Th\'evenod-Fosse and C. Mazuet and Yves Crouzet
On Statistical Testing of Synchronous Data Flow Programs
Proceedings of the First European Dependable Computing Conference (EDDC'94)Berlin, Allemagne, 4-6 Octobre 1994.
BibTeX | Abstract | URL
731A. Jefferson Offutt and Stephen D. Lee
An Empirical Evaluation of Weak Mutation
{IEEE} Trans. Software Eng., 20(5), 1994.
BibTeX | Abstract | PDF | DOI
732W. Eric Wong and Marcio Eduardo Delamaro and Jose Carlos Maldonado and Aditya P. Mathur
Constrained Mutation in C Programs
Proceedings of the 8th Brazilian Symposium on Software EngneeringCuritiba, Brazil, October 1994.
BibTeX | Abstract | URL
733Phyllis G. Frankl and Stewart N. Weiss and Cang Hu
All-Uses Versus Mutation Testing: An Experimental Comparison of Effectiveness
Polytechnic University, Brooklyn, New York, 1994.
BibTeX | Abstract | URL
734Hong Zhu and Patrick A. V. Hall and John H. R. May and T. Cockram
Injecting Faults into Environment Simulators for Testing Safety Critical Software
Proceedings of the 1st European Dependable Computing Conference on Dependable Computing (EDCC'94), 1994.
BibTeX | Abstract | URL
735E. Jenn and J. Arlat and M. Rimem and J. Ohlsson and J. Karlsson
Fault Injection Into VHDL Models: the MEFISTO Tool
Proceedings of the 24th International Symposium on Fault-Tolerant Computing (FTCS'24), 15-17 June 1994.
BibTeX | Abstract | URL
736K. Tewary and Mary Jean Harrold
Fault Modeling Using the Program Dependence Graph
Proceedings of the 5th International Symposium on Software Reliability EngineeringMonterey, California, 6-9 November 1994.
BibTeX | Abstract | URL
737Sandra Camargo Pinto Ferraz Fabbri and M{\'{a}}rcio Eduardo Delamaro and Jos{\'{e}} Carlos Maldonado and Paulo C{\'{e}}sar Masiero
Mutation analysis testing for finite state machines
5th International Symposium on Software Reliability Engineering, {ISSRE} 1994, Monterey, CA, USA, November 6-9, 1994, 1994.
BibTeX | Abstract | PDF | DOI
738Vladimir N. Fleyshgakker and Stewart N. Weiss
Efficient Mutation Analysis: A New Approach
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'94)Seattle, Washington, August 1994.
BibTeX | Abstract | URL | DOI
739Jie Pan
Using Constraints to Detect Equivalent Mutants
George Mason University, Fairfax VA, 1994.
BibTeX | Abstract | URL
740Jane Huffman Hayes
Testing of Object-oriented Programming Systems (OOPS): A fault-based Approach
Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS'94)Palermo, Italy, 21–22 September 1994.
BibTeX | Abstract | URL
741Elaine Jessica Weyuker and T. Goradia and A. Singh
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering, 20(5), May 1994.
BibTeX | Abstract | URL
742Aditya P. Mathur and W. Eric Wong
A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria
Proceedings of the 22nd annual ACM Computer Science Conference on Scaling UpPhoenix, Arizona, 1994.
BibTeX | Abstract | URL
743W. Eric Wong and Joseph R. Horgan and Saul London and Aditya P. Mathur and Md Joseph and R. Horgan
Effect of Test Set Size and Block Coverage on the Fault Detection Effectiveness
Proceedings of the 5th International Symposium on Software Reliability EngineeringMonterey, California, 6-9 November 1994.
BibTeX | Abstract | URL
744S.C. Pinto Ferraz Fabbri and Marcio Eduardo Delamaro and Jose Carlos Maldonado and P.C. Masiero
Mutation Analysis Testing for Finite State Machines
Proceedings of the 5th International Symposium on Software Reliability EngineeringMonterey, California, 6-9 November 1994.
BibTeX | Abstract | URL
745A. Jefferson Offutt
A Practical System for Mutation Testing: Help for the Common Programmer
Proceedings of the IEEE International Test Conference on TEST: The Next 25 Years, 2-6 October 1994.
BibTeX | Abstract | URL
746Aditya P. Mathur
Mutation Testing
Encyclopedia of Software Engineering, 1994.
BibTeX | Abstract | URL
747A. Jefferson Offutt and W. M. Craft
Using Compiler Optimization Techniques to Detect Equivalent Mutants
Software Testing, Verification and Reliability, 4(3), September 1994.
BibTeX | Abstract | URL
748A. Jefferson Offutt and Zhenyi Jin and Jie Pan
The Dynamic Domain Reduction Approach for Test Data Generation: Design and Algorithms
George Mason UniversityISSE-TR-94-110, Fairfax, Virginia, 1994.
BibTeX | Abstract | URL
749Richard A. DeMillo and Li. TDsanchi and Aditya P. Mathur
A Two Dimensional Scheme To Evaluate The Adequacy Of Fault Tolerance Testing
Proceedings of the 3rd Workshop on Integrating Error Models with Fault Injection, 25-26 April 1994.
BibTeX | Abstract | URL
750Aditya P. Mathur and W. Eric Wong
An Empirical Comparison of Data Flow and Mutation-based Test Adequacy Criteria
Software Testing, Verification and Reliability, 4(1), 1994.
BibTeX | Abstract | URL
751A. Jefferson Offutt and S.D. Lee
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering, 20(5), May 1994.
BibTeX | Abstract | URL
752W. Eric Wong
On Mutation and Data Flow
Purdue University, West Lafayette, Indiana, 1993.Unknown-
BibTeX | Abstract | URL
753Aditya P. Mathur and W. Eric Wong
An Empirical Comparison of Mutation and Data Flow Based Test Adequacy Criteria
Purdue University, West Lafayette, Indiana, 1993.
BibTeX | Abstract | URL
754Phyllis G. Frankl and Stewart N. Weiss
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
{IEEE} Trans. Software Eng., 19(8), 1993.
BibTeX | Abstract | PDF | DOI
755Stewart N. Weiss and Vladimir N. Fleyshgakker
Improved Serial Algorithms for Mutation Analysis
ACM SIGSOFT Software Engineering Notes, 18(3), July 1993.
BibTeX | Abstract | URL
756Richard A. DeMillo and A. Jefferson Offutt
Experimental Results From an Automatic Test Case Generator
ACM Transactions on Software Engineering and Methodology, 2(2), April 1993.
BibTeX | Abstract | URL | DOI
757Martin R. Woodward
Mutation Testng - Its Origin and Evolution
Journal of Information and Software Technology, 35(3), March 1993.
BibTeX | Abstract | URL
758C. N. Zapf
A Distributed Interpreter for the Mothra Mutation Testing System
Clemson University, Clemson, South Carolina, 1993.Unknown-
BibTeX | Abstract | URL
759Martin R. Woodward
Errors in Algebraic Specifications and an Experimental Mutation Testing Tool
Software Engineering Journal, 8(4), July 1993.
BibTeX | Abstract | URL
760W. Eric Wong and Aditya P. Mathur
Reducing the Cost of Mutation Testing: An Empirical Study
Purdue University, West Lafayette, Indiana, 1993.
BibTeX | Abstract | URL
761Kuo{-}Chung Tai
Predicate-Based Test Generation for Computer Programs
Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993., 1993.
BibTeX | Abstract | PDF
762Marcio Eduardo Delamaro
{P}roteum - {A} {M}utation {A}nalysis {B}ased {T}esting {E}nvironmen
University of S\~ao Paulo, Sao Paulo, Brazil, 1993.Unknown-
BibTeX | Abstract | URL
763Byoungju Choi and Aditya P. Mathur
High-performance Mutation Testing
Journal of Systems and Software, 20(2), February 1993.
BibTeX | Abstract | URL
764A. Jefferson Offutt and Gregg Rothermel and Christian Zapf
An Experimental Evaluation of Selective Mutation
Proceedings of the 15th International Conference on Software Engineering (ICSE'93)Baltimore, Maryland, May 1993.
BibTeX | Abstract | URL
765Richard H. Carver
Mutation-Based Testing of Concurrent Programs
Proceedings of the IEEE International Test Conference on Designing, Testing, and DiagnosticsBaltimore, Maryland, 17-21 October 1993.
BibTeX | Abstract | URL
766Roland H. Untch and A. Jefferson Offutt and Mary Jean Harrold
Mutation Analysis Using Mutant Schemata
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'93)Cambridge, Massachusetts, 1993.
BibTeX | Abstract | URL | DOI
767Phyllis G. Frankl and Elaine J. Weyuker
Provable Improvements on Branch Testing
IEEE Transactions of Software Engineering, 19(10), October 1993.
BibTeX | Abstract | URL
768Roland H. Untch and A. Jefferson Offutt and Mary Jean Harrold
Mutation Analysis Using Mutant Schemata
Proceedings of the 1993 International Symposium on Software Testing and Analysis, {ISSTA} 1993, Cambridge, MA, USA, June 28-30, 1993, 1993.
BibTeX | Abstract | PDF | DOI
769Phyllis G. Frankl and E.J. Weyuker
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering, 19(3), March 1993.
BibTeX | Abstract | URL
770Marcio Eduardo Delamaro
Proteum - A Mutation Analysis Based Testing Environmen
University of S\~ao Paulo, Sao Paulo, Brazil, 1993.Unknown-
BibTeX | Abstract | URL
771J. Laski and W. Szermer and P. Luczycki
Dynamic Mutation Testing in Integrated Regression Analysis
Proceedings of the 15th International Conference on Software Engineering (ICSE'93)Baltimore, Maryland, May 1993.
BibTeX | Abstract | URL
772J. R. Horgan and A. P. Mathur
Experience in Using Three Testing Tools for Research and Educationin Software Engineering
Proceedings of the 2nd Symposium on Assessment of Quality Software Development ToolsNew Orleans, Louisiana, 27-29 May 1992.
BibTeX | Abstract | URL
773Robert Geist and A. Jefferson Offutt and Frederick C. Harris Jr.
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
{IEEE} Trans. Computers, 41(5), 1992.
BibTeX | Abstract | PDF | DOI
774A. Jefferson Offutt and Roy P. Pargas and Scott V. Fichter and Prashant K. Khambekar
Mutation Testing of Software Using a MIMD Computer
Proceedings of the International Conference on Parallel ProcessingChicago, Illinois, August 1992.
BibTeX | Abstract | URL
775R. A. DeMillo and A. P. Mathur
On the Use of Software Artifacts to Evaluate the Effectiveness of Mutation Analysis in Detecting Errors in Production Software
Purdue UniversitySERC-TR-92-P, West Lafayette, Indiana, 1992.
BibTeX | Abstract | URL
776A. Jefferson Offutt
Investigations of the Software Testing Coupling Effect
ACM Transactions on Software Engineering and Methodology, 1(1), January 1992.
BibTeX | Abstract | URL
777A. Jefferson Offutt
Investigations of the Software Testing Coupling Effect
{ACM} Trans. Softw. Eng. Methodol., 1(1), 1992.
BibTeX | Abstract | PDF | DOI
778Robert Geist and A. Jefferson Offutt and Frederick C. Harris
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers, 41(5), May 1992.
BibTeX | Abstract | URL
779Jeffrey M. Voas
PIE: A Dynamic Failure-Based Technique
IEEE Transactions of Software Engineering, 18(8), August 1992.
BibTeX | Abstract | URL
780Roland H. Untch
Mutation-based Software Testing Using Program Schemata
Proceedings of the 30th Annual Southeast Regional Conference (ACM-SE'92)Raleigh, North Carolina, 1992.
BibTeX | Abstract | URL
781D.I. Korchemyni
Application of Mutation Analysis to Evaluation of Program-testing Quality
Programming and Computer Software, 17(3), March 1992.
BibTeX | Abstract | URL
782Pascale Th\'evenod-Fosse and Helene Waeselynck and Yves Crouzet
An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation
Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS'91)Montr\'eal, Canada, 25-27 June 1991.
BibTeX | Abstract | URL | DOI
783Phyllis G. Frankl and Stewart N. Weiss
An Experimental Comparison of the Effectiveness of the All-Uses and All-Edges Adequacy Criteria
Symposium on Testing, Analysis, and Verification, 1991.
BibTeX | Abstract | PDF | DOI
784Stephen D. Lee
Weak vs. Strong: An Empirical Comparison of Mutation Variants
Clemson University, Clemson, SC, 1991.
BibTeX | Abstract | URL
785E. W. Krauser
Compiler-Integrated Software Testing
Purdue University, West Lafyette, 1991.Unknown-
BibTeX | Abstract | URL
786A. Jefferson Offutt and Stephen D. Lee
How Strong is Weak Mutation?
Proceedings of the 4th Symposium on Software Testing, Analysis, and Verification (TAV'91)Victoria, British Columbia, Canada, October 1991.
BibTeX | Abstract | URL | DOI
787B. Marick
The Weak Mutation Hypothesis
Proceedings of the 4th Symposium on Software Testing, Analysis, and Verification (TAV'91)Victoria, British Columbia, Canada, October 1991.
BibTeX | Abstract | URL | DOI
788Richard A. DeMillo and A. Jefferson Offutt
Constraint-Based Automatic Test Data Generation
{IEEE} Trans. Software Eng., 17(9), 1991.
BibTeX | Abstract | PDF | DOI
789Aditya P. Mathur
Performance, Effectiveness, and Reliability Issues in Software Testing
Proceedings of the 5th International Computer Software and Applications Conference (COMPSAC'79)Tokyo, Japan, 11-13 September 1991.
BibTeX | Abstract | URL
790Scott Fichter
Parallelizing Mutation on a Hypercube
Clemson University, Clemson, SC, 1991.
BibTeX | Abstract | URL
791Byougju Choi
Software Testing Using High Performance Computers
Purdue University, West Lafayette, Indiana, 1991.Unknown-
BibTeX | Abstract | URL
792Edward W. Krauser and Aditya P. Mathur and Vernon J. Rego
High Performance Software Testing on SIMD Machines
IEEE Transactions on Software Engineering, 17(5), May 1991.
BibTeX | Abstract | URL | DOI
793Richard A. DeMillo and A. Jefferson Offutt
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering, 17(9), September 1991.
BibTeX | Abstract | URL
794K. N. King and A. Jefferson Offutt
A Fortran Language System for Mutation-Based Software Testing
Software:Practice and Experience, 21(7), October 1991.
BibTeX | Abstract | URL
795K. N. King and A. Jefferson Offutt
A Fortran Language System for Mutation-based Software Testing
Softw., Pract. Exper., 21(7), 1991.
BibTeX | Abstract | PDF | DOI
796R.L Probert and F. Guo
Mutation Testing of Protocols: Principles and Preliminary Experimental Results
Proceedings of the Workshop on Protocol Test SystemsLeidschendam, Netherland, 15-17 October 1991.
BibTeX | Abstract | URL
797Richard A. DeMillo and E. W. Krauser and Aditya P. Mathur
Compiler-Integrated Program Mutation
Proceedings of the 5th Annual Computer Software and Applications Conference (COMPSAC'91)Tokyo, Japan, September 1991.
BibTeX | Abstract | URL
798Larry J. Morell
A Theory of Fault-Based Testing
{IEEE} Trans. Software Eng., 16(8), 1990.
BibTeX | Abstract | PDF | DOI
799Mehmet Sahinoglu and Eugene H. Spafford
A Bayes Sequential Statistical Procedure for Approving Software Products
Proceedings of the IFIP Conference on Approving Software Products (ASP'90)Garmisch Partenkirchen, Germany, September 1990.
BibTeX | Abstract | URL
800L. J. Morell
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering, 16(8), August 1990.
BibTeX | Abstract | URL
801Eugene H. Spafford
Extending Mutation Testing to Find Environmental Bugs
Software:Practice and Experience, 20(2), February 1990.
BibTeX | Abstract | URL
802J. R. Horgan and Aditya P. Mathur
Weak Mutation is Probably Strong Mutation
Purdue UniversitySERC-TR-83-P, West Lafayette, Indiana, 1990.
BibTeX | Abstract | URL
803Martin R. Woodward
Mutation Testing-An Evolving Technique
Proceedings of the IEE Colloquium on Software Testing for Critical SystemsLondon, UK, 19 June 1990.
BibTeX | Abstract | URL
804Martin R. Woodward
OBJTEST: an Experimental Testing Tool for Algebraic Specifications
Proceedings of the IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying, 14 Jan 1990.
BibTeX | Abstract | URL
805I. M. M. Duncan and D. J. Robson
Ordered Mutation Testing
ACM SIGSOFT Software Engineering Notes, 15(2), April 1990.
BibTeX | Abstract | URL
806W. Michael Craft
Detecting Equivalent Mutants Using Compiler Optimization Techniques
Clemson University, Clemson, South Carolina, 1989.
BibTeX | Abstract | URL
807Hiralal Agrawal and Richard A. DeMillo and Bob Hathaway and William Hsu and Wynne Hsu and E. W. Krauser and R. J. Martin and Aditya P. Mathur and Eugene Spafford
Design of Mutant Operators for the C Programming Language
Purdue UniversitySERC-TR-41-P, West Lafayette, Indiana, 1989.
BibTeX | Abstract | URL
808Richard A. DeMillo
Test Adequacy and Program Mutation
Proceedings of the 11th International Conference on Software Engineering (ICSE'89)Pittsburgh, Pennsylvania, 15-18 May 1989.
BibTeX | Abstract | URL
809William E. Howden
Error-based Validation Completeness
Proceedings of the 11th International Conference on Software Engineering (ICSE'89)Pittsburgh, Pennsylvania, 15-18 May 1989.
BibTeX | Abstract | URL
810Steven J. Zeil
Perturbation Techniques for Detection Domain Error
IEEE Transactions of Software Engineering, 15(6), June 1989.
BibTeX | Abstract | URL
811H. Agrawal and R. A. DeMillo and B. Hathaway and W. Hsu, W. Hsu and E. W. Krauser and R. J. Martin and A. P. Mathur and E. Spafford
Design of Mutant Operators for the C Programming Language
Purdue University, , 1989.
BibTeX | Abstract | URL
812Richard A. DeMillo
Test Adequacy and Program Mutation
Proceedings of the 11th International Conference on Software Engineering, Pittsburg, PA, USA, May 15-18, 1989., 1989.
BibTeX | Abstract | PDF | DOI
813B. J. Choi, Richard A. DeMillo and E. W. Krauser and R. J. Martin and A. P. Mathur and A. Jefferson Offutt and H. Pan and E. H. Spafford
The Mothra Tool Set
Proceedings of the 22nd Annual Hawaii International Conference on System Sciences (HICSS'22), 3-6 January 1989.
BibTeX | Abstract | URL
814A. Jefferson Offutt
The Coupling Effect: Fact or Fiction
ACM SIGSOFT Software Engineering Notes, 14(8), December 1989.
BibTeX | Abstract | URL
815Larry Joe Morell
Theoretical Insights Into Fault-Based Testing
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff Alberta, Canada, July 1988.
BibTeX | Abstract | URL | DOI
816Edward William Krauser and Aditya P. Mathur and Vernon Joseph Rego
High Performance Software Testing on SIMD Machines
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff Alberta, July 1988.
BibTeX | Abstract | URL
817John H. Bowser
Reference Manual for Ada Mutant Operators
Georiga Institute of TechnologyGIT-SERC-88/02, Atlanta, Georgia, 1988.
BibTeX | Abstract | URL
818Richard A. DeMillo and D. S. Guindi and K. N. King and W. M. McCracken and A. Jefferson Offutt
An Extended Overview of the Mothra Software Testing Environment
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff Alberta,Canada, July 1988.
BibTeX | Abstract | URL
819D. Wu and M. A. Hennell and D. Hedley and I. J. Riddell
A Practical Method for Software Quality Control via Program Mutation
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff, Alberta, Canada, July 1988.
BibTeX | Abstract | URL
820Martin R. Woodward and K. Halewood
From Weak to Strong, Dead or Alive? an Analysis of Some Mutationtesting Issues
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff Albert, Canada, July 1988.
BibTeX | Abstract | URL | DOI
821Deepinder P. Sidhu and Ting Kau Leung
Fault Coverage of Protocol Test Methods
Proceedings of the 7th Annual Joint Conference of the IEEE Computer and Communcations Societies (INFOCOM'88)New Orleans, Louisiana, 27-31 March 1988.
BibTeX | Abstract | URL
822Aditya P. Mathur and Edward William Krauser
Mutant Unification for Improved Vectorization
Purdue UniversitySERC-TR-14-P, West Lafayette, Indiana, 1988.
BibTeX | Abstract | URL
823Andrew Jefferson Offutt
Automatic Test Data Generation
Georgia Institute of Technology, Atlanta, GA, USA, 1988.Unknown-
BibTeX | Abstract | URL
824A. Jefferson Offutt and K. N. King
A Fortran 77 Interpreter for Mutation Analysis
ACM SIGPLAN Notices, 22(7), July 1987.
BibTeX | Abstract | URL
825Richard A. DeMillo and D. S. Guindi and K. N. King and W. M. McCracken
An Overview of the Mothra Software Testing Environment
Purdue UniversitySERC-TR-3-P, West Lafayette, Indiana, 1987.
BibTeX | Abstract | URL
826Timothy Alan Budd and Ajei Sarat Gopal
Program Testing by Specification Mutation
Computer Languages, 10(1), 1985.
BibTeX | Abstract | URL
827M. R. Girgis and Martin R. Woodward
An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis
Proceedings of the 8th International Conference on Software Engineering (ICSE'85)London, England, August 1985.
BibTeX | Abstract | URL
828Larry Joe Morell
A Theory of Error-Based Testing
University of Maryland at College Park, College Park, Maryland, 1984.Unknown-
BibTeX | Abstract | URL
829Steven Joseph Zeil
Perturbation Testing for Computation Errors
Proceedings of the 7th International Conference on Software Engineering (ICSE'84)Orlando, Florida, 26-29 March 1984.
BibTeX | Abstract | URL
830Ajei Sarat Gopal and Timothy Alan Budd
Program Testing by Specification Mutation
University of ArizonaTR 83-17, Tucson, Arizona, 1983.
BibTeX | Abstract | URL
831Steven Joseph Zeil
Testing for Perturbations of Program Statements
IEEE Transactions on Software Engineering, 9(3), May 1983.
BibTeX | Abstract | URL
832R. A. DeMillo
Program Mutation: An Approach to Software Testing
Georgia Institute of Technology, , 1983.
BibTeX | Abstract | URL
833Timothy Alan Budd and Dana Angluin
Two Notions of Correctness and Their Relation to Testing
Acta Informatica, 18(1), March 1982.
BibTeX | Abstract | URL
834William E. Howden
Weak Mutation Testing and Completeness of Test Sets
IEEE Transactions on Software Engineering, 8(4), July 1982.
BibTeX | Abstract | URL
835William E. Howden
Weak Mutation Testing and Completeness of Test Sets
{IEEE} Trans. Software Eng., 8(4), 1982.
BibTeX | Abstract | PDF | DOI
836A. Tanaka
Equivalence Testing for Fortran Mutation System Using Data Fow Analysis
Georgia Institute of Technology, Atlanta, Georgia, 1981.Unknown-
BibTeX | Abstract | URL
837Timothy Alan Budd
Mutation Analysis of Program Test Data
Yale University, New Haven, Connecticut, 1980.Unknown-
BibTeX | Abstract | URL
838Timothy Alan Budd and R. Hess and Frederick Gerald Sayward
EXPER Implementor's Guide
Yale University, New Haven, Connecticut, 1980.
BibTeX | Abstract | URL
839Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward
Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs
Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'80)Las Vegas, Nevada, 28-30 January 1980.
BibTeX | Abstract | URL
840Jeanne Marie Hanks
Testing Cobol Programs by Mutation
Georgia Institute of Technology, Atlanta, Georgia, 1980.Unknown-
BibTeX | Abstract | URL
841Allen Troy Acree
On Mutation
Georgia Institute of Technology, Atlanta, Georgia, 1980.Unknown-
BibTeX | Abstract | URL
842Kenneth A. Foster
Error Sensitive Test Cases Analysis {(ESTCA)}
{IEEE} Trans. Software Eng., 6(3), 1980.
BibTeX | Abstract | PDF | DOI
843Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward
Program Mutation: A New Approach to Program Testing
Infotech State of the Art Report, Software Testing, 1979.
BibTeX | Abstract | URL
844Allen Troy Acree and Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward
Mutation Analysis
Georgia Institute of TechnologyGIT-ICS-79/08, Atlanta, Georgia, 1979.
BibTeX | Abstract | URL
845Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward
{P}rogram {M}utation: {A} {N}ew {A}pproach to {P}rogram {T}esting
Infotech State of the Art Report, Software Testing, 1979.
BibTeX | Abstract | URL
846D. Baldwin and Frederick Gerald Sayward
Heuristics for Determining Equivalence of Program Mutations
Yale University276, New Haven, Connecticut, 1979.
BibTeX | Abstract | URL
847Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward
Hints on Test Data Selection: Help for the Practicing Programmer
Computer, 11(4), April 1978.
BibTeX | Abstract | URL
848Timothy Alan Budd and Richard J. Lipton
Mutation Analysis of Decision Table Programs
Proceedings of the Conference on Information Sciences and Systems, 1978.
BibTeX | Abstract | URL
849Timothy Alan Budd and Richard J. Lipton
Proving LISP Programs Using Test Data
Proceedings of the Workshop on Software Testing and Test Documentation, December 1978.
BibTeX | Abstract | URL
850Richard J. Lipton and Frederick Gerald Sayward
The Status of Research on Program Mutation
Proceedings of the Workshop on Software Testing and Test Documentation, December 1978.
BibTeX | Abstract | URL
851Richard A. DeMillo and Richard J. Lipton and Frederick G. Sayward
Hints on Test Data Selection: Help for the Practicing Programmer
{IEEE} Computer, 11(4), 1978.
BibTeX | Abstract | PDF | DOI
852Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward
The Design of a Prototype Mutation System for Program Testing
Proceedings of the AFIPS National Computer ConferenceAnaheim, New Jersey, 5-8 June 1978.
BibTeX | Abstract | URL
853Richard Graham Hamlet
{T}esting {P}rograms with the {A}id of a {C}ompiler
{IEEE} {T}ransactions on {S}oftware {E}ngineering, 3(4), July 1977.
BibTeX | Abstract | URL
854Timothy Alan Budd and Frederick Gerald Sayward
Users Guide to the Pilot Mutation System
Yale University114, New Haven, Connecticut, 1977.
BibTeX | Abstract | URL
855Richard Graham Hamlet
Testing Programs with the Aid of a Compiler
IEEE Transactions on Software Engineering, 3(4), July 1977.
BibTeX | Abstract | URL
856John B. Goodenough and Susan L. Gerhart
Toward a Theory of Test Data Selection
{IEEE} Trans. Software Eng., 1(2), 1975.
BibTeX | Abstract | PDF | DOI
857Richard Lipton
Fault Diagnosis of Computer Programs
Unknown-
BibTeX | Abstract | URL

Quick Search

View all papers | authors

Citation

@ARTICLE{PapadakisKZJTH18, author = {Mike Papadakis and Marinos Kintis and Jie Zhang and Yue Jia and Yves Le Traon and Mark Harman}, title = {Mutation Testing Advances: An Analysis and Survey}, journal = {Advances in Computers}, year = {2018}, }

Survey

(TR version)

Download