| 181 | Christopher 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{HenardPT14,
author = {Christopher Henard and Mike Papadakis and Yves Le Traon},
title = {MutaLog: {A} Tool for Mutating Logic Formulas},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}},
year = {2014},
address = {},
month = {},
pages = {399--404}
} |
| 182 | Matthew 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PatrickAOC14,
author = {Matthew Patrick and Robert Alexander and Manuel Oriol and John A. Clark},
title = {Probability-Based Semantic Interpretation of Mutants},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}},
year = {2014},
address = {},
month = {},
pages = {186--195}
} |
| 183 | Christopher 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DHenardPT14,
author = {Christopher Henard and Mike Papadakis and Yves Le Traon},
title = {Mutation-Based Generation of Software Product Line Test Configurations},
booktitle = {Search-Based Software Engineering - 6th International Symposium, {SSBSE} 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings},
year = {2014},
address = {},
month = {},
pages = {92--106}
} |
| 184 | Xavier 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DevroeyPCPLS14,
author = {Xavier Devroey and Gilles Perrouin and Maxime Cordy and Mike Papadakis and Axel Legay and Pierre{-}Yves Schobbens},
title = {A variability perspective of mutation analysis},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014},
year = {2014},
address = {},
month = {},
pages = {841--844}
} |
| 185 | Marinos 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KintisM14,
author = {Marinos Kintis and Nicos Malevris},
title = {Using Data Flow Patterns for Equivalent Mutant Detection},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}},
year = {2014},
address = {},
month = {},
pages = {196--205}
} |
| 186 | Xiangjuan 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{YaoHJ14,
author = {Xiangjuan Yao and Mark Harman and Yue Jia},
title = {A study of equivalent and stubborn mutation operators using human analysis of equivalence},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014},
year = {2014},
address = {},
month = {},
pages = {919--930}
} |
| 187 | Derezi{\'{n}}ska, Anna and Ha{\l}as, Konrad
Analysis of Mutation Operators for the Python Language
Unknown- |
|
| | Abstract: Available soon... |
| | Unknown++ |
| 188 | Paul 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{AmmannDO14,
author = {Paul Ammann and M{\'{a}}rcio Eduardo Delamaro and Jeff Offutt},
title = {Establishing Theoretical Minimal Sets of Mutants},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}},
year = {2014},
address = {},
month = {},
pages = {21--30}
} |
| 189 | Syed 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. |
|
| | Abstract: Available soon... |
| | @ARTICLE{MurtazaHMG14,
author = {Syed Shariyar Murtaza and Abdelwahab Hamou{-}Lhadj and Nazim H. Madhavji and Mechelle Gittens},
title = {An empirical study on the use of mutant traces for diagnosis of faults in deployed systems},
journal = {Journal of Systems and Software},
year = {2014},
month = {},
volume = {90},
number = {},
pages = {29--44}
} |
| 190 | Seokhyeon 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MoonKKY14,
author = {Seokhyeon Moon and Yunho Kim and Moonzoo Kim and Shin Yoo},
title = {Ask the Mutants: Mutating Faulty Programs for Fault Localization},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}},
year = {2014},
address = {},
month = {},
pages = {153--162}
} |
| 191 | Vidroha Debroy and W. Eric Wong
Combining mutation and fault localization for automated program debugging
Journal of Systems and Software, 90(), 2014. |
|
| | Abstract: Available soon... |
| | @ARTICLE{DebroyW14,
author = {Vidroha Debroy and W. Eric Wong},
title = {Combining mutation and fault localization for automated program debugging},
journal = {Journal of Systems and Software},
year = {2014},
month = {},
volume = {90},
number = {},
pages = {45--60}
} |
| 192 | Lech 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. |
|
| | Abstract: Context. The equivalent mutant problem (EMP) is one of the crucial problems in mutation testing widely studied over decades. Objectives. The objectives are: to present a systematic literature review (SLR) in the field of EMP; to identify, classify and improve the existing, or implement new, methods which try to overcome EMP and evaluate them. Method. We performed SLR based on the search of digital libraries. We implemented four second order mutation (SOM) strategies, in addition to first order mutation (FOM), and compared them from different perspectives. Results. Our SLR identified 17 relevant techniques (in 22 articles) and three categories of techniques: detecting (DEM); suggesting (SEM); and avoiding equivalent mutant generation (AEMG). The experiment indicated that SOM in general and JudyDiffOp strategy in particular provide the best results in the following areas: total number of mutants generated; the association between the type of mutation strategy and whether the generated mutants were equivalent or not; the number of not killed mutants; mutation testing time; time needed for manual classification. Conclusions . The results in the DEM category are still far from perfect. Thus, the SEM and AEMG categories have been developed. The JudyDiffOp algorithm achieved good results in many areas. |
| | @ARTICLE{MadeyskiOTJ14,
author = {Lech Madeyski and Wojciech Orzeszyna and Richard Torkar and Mariusz Józala},
title = {Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation},
journal = {IEEE Transactions on Software Engineering},
year = {2014},
month = {January},
volume = {40},
number = {1},
pages = {23--42}
} |
| 193 | Rahul 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{GopinathJG14b,
author = {Rahul Gopinath and Carlos Jensen and Alex Groce},
title = {Code coverage for suite evaluation by developers},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014},
year = {2014},
address = {},
month = {},
pages = {72--82}
} |
| 194 | Divya 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{GopinathKSC14,
author = {Divya Gopinath and Sarfraz Khurshid and Diptikalyan Saha and Satish Chandra},
title = {Data-guided repair of selection statements},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014},
year = {2014},
address = {},
month = {},
pages = {243--253}
} |
| 195 | Ren{\'{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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{JustJIEHF14,
author = {Ren{\'{e}} Just and Darioush Jalali and Laura Inozemtseva and Michael D. Ernst and Reid Holmes and Gordon Fraser},
title = {Are mutants a valid substitute for real faults in software testing?},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014},
year = {2014},
address = {},
month = {},
pages = {654--665}
} |
| 196 | Pablo 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{loyola_ISSTA_14,
author = {Pablo Loyola and Matt Staats and In{-}Young Ko and Gregg Rothermel},
title = {Dodona: automated oracle data set selection},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014},
year = {2014},
address = {},
month = {},
pages = {193--203}
} |
| 197 | August 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ShiGGZM14,
author = {August Shi and Alex Gyori and Milos Gligoric and Andrey Zaytsev and Darko Marinov},
title = {Balancing trade-offs in test-suite reduction},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014},
year = {2014},
address = {},
month = {},
pages = {246--256}
} |
| 198 | M{\'{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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DelamaroO14,
author = {M{\'{a}}rcio Eduardo Delamaro and Jeff Offutt},
title = {Assessing the Influence of Multiple Test Case Selection on Mutation Experiments},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}},
year = {2014},
address = {},
month = {},
pages = {171--175}
} |
| 199 | Huai 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. |
|
| | Abstract: Available soon... |
| | @ARTICLE{liu_TSE_14,
author = {Huai Liu and Fei{-}Ching Kuo and Dave Towey and Tsong Yueh Chen},
title = {How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?},
journal = {{IEEE} Trans. Software Eng.},
year = {2014},
month = {},
volume = {40},
number = {1},
pages = {4--22}
} |
| 200 | Pedro Reales Mateo and Macario Polo Usaola
Parallel mutation testing
Softw. Test., Verif. Reliab., 23(4), 2013. |
|
| | Abstract: Available soon... |
| | @ARTICLE{MateoU13,
author = {Pedro Reales Mateo and Macario Polo Usaola},
title = {Parallel mutation testing},
journal = {Softw. Test., Verif. Reliab.},
year = {2013},
month = {},
volume = {23},
number = {4},
pages = {315--350}
} |
