| 1 | Mike 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- |
|
| | Abstract: Available soon... |
| | Unknown++ |
| 2 | Mike 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisDYB18,
author = {Mike Papadakis and Donghwan Shin and Shin Yoo and Doo{-}Hwan Bae},
title = {Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults},
booktitle = {Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - 3 June, 2018},
year = {2018},
address = {},
month = {},
pages = {}
} |
| 3 | Michael 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MarcozziBKPPC18,
author = {Michael Marcozzi and Sebastien Bardin and Nikolai Kosmatov and Mike Papadakis and Virgile Prevosto and Loïc Correnson},
title = {Time to Clean your Test Objectives},
booktitle = {Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - 3 June, 2018},
year = {2018},
address = {},
month = {},
pages = {}
} |
| 4 | Rudolf 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{RamlerWK17,
author = {Rudolf Ramler and Thomas Wetzlmaier and Claus Klammer},
title = {An empirical study on the application of mutation testing for a safety-critical industrial software system},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017},
year = {2017},
address = {},
month = {},
pages = {1401--1408}
} |
| 5 | Jabbarvand, 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{jabbarvand_FSE_17,
author = {Jabbarvand, Reyhaneh and Malek, Sam},
title = {{mu}Droid: An Energy-aware Mutation Testing Framework for Android},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering},
year = {2017},
address = {New York, NY, USA},
month = {},
pages = {208--219}
} |
| 6 | V. 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{durelli_ICSTW_17,
author = {V. H. S. Durelli and N. M. De Souza and M. E. Delamaro},
title = {Are Deletion Mutants Easier to Identify Manually?},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {149-158}
} |
| 7 | R. 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{gopinath_ICSTW_17,
author = {R. Gopinath and E. Walkingshaw},
title = {How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {122-127}
} |
| 8 | Matthew Patrick and Yue Jia {KD-ART:} Should we intensify or diversify tests to kill mutants? Information {\&} Software Technology, 81(), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{PatrickJ17,
author = {Matthew Patrick and Yue Jia},
title = {{KD-ART:} Should we intensify or diversify tests to kill mutants?},
journal = {Information {\&} Software Technology},
year = {2017},
month = {},
volume = {81},
number = {},
pages = {36--51}
} |
| 9 | Xavier 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DevroeyPPLSH17,
author = {Xavier Devroey and Gilles Perrouin and Mike Papadakis and Axel Legay and Pierre{-}Yves Schobbens and Patrick Heymans},
title = {Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
year = {2017},
address = {},
month = {},
pages = {424--429}
} |
| 10 | M. 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{marcozzi_ICST_17,
author = {M. Marcozzi and M. Delahaye and S. Bardin and N. Kosmatov and V. Prevosto},
title = {Generic and Effective Specification of Structural Test Objectives},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)},
year = {2017},
address = {},
month = {March},
pages = {436-441}
} |
| 11 | M. Trakhtenbrot Mutation Patterns for Temporal Requirements of Reactive Systems 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{trakhtenbrot_ICSTW_17,
author = {M. Trakhtenbrot},
title = {Mutation Patterns for Temporal Requirements of Reactive Systems},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {116-121}
} |
| 12 | Brown, 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{brown_FSE_17,
author = {Brown, David Bingham and Vaughn, Michael and Liblit, Ben and Reps, Thomas},
title = {The Care and Feeding of Wild-caught Mutants},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering},
year = {2017},
address = {New York, NY, USA},
month = {},
pages = {511--522}
} |
| 13 | I. 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ahmed_ICSTW_17,
author = {I. Ahmed and C. Jensen and A. Groce and P. E. McKenney},
title = {Applying Mutation Analysis on Kernel Test Suites: An Experience Report},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {110-115}
} |
| 14 | P. 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{arcaini_ICSTW_17,
author = {P. Arcaini and A. Gargantini and E. Riccobene},
title = {MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {87-96}
} |
| 15 | B. 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{lisper_ICSTW_17,
author = {B. Lisper and B. Lindström and P. Potena and M. Saadatmand and M. Bohlin},
title = {Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {65-68}
} |
| 16 | C. Iida and S. Takada Reducing Mutants with Mutant Killable Precondition 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{iida_ICSTW_17,
author = {C. Iida and S. Takada},
title = {Reducing Mutants with Mutant Killable Precondition},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {128-133}
} |
| 17 | K. 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{larsen_ICSTW_17,
author = {K. G. Larsen and F. Lorber and B. Nielsen and U. M. Nyman},
title = {Mutation-Based Test-Case Generation with Ecdar},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {319-328}
} |
| 18 | D. 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. |
|
| | Abstract: Available soon... |
| | @ARTICLE{shin_TSE_17,
author = {D. Shin and S. Yoo and D. H. Bae},
title = {A Theoretical and Empirical Study of Diversity-aware Mutation Adequacy Criterion},
journal = {IEEE Transactions on Software Engineering},
year = {2017},
month = {},
volume = {PP},
number = {99},
pages = {1-1}
} |
| 19 | Thomas 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LoiseDPPH17,
author = {Thomas Loise and Xavier Devroey and Gilles Perrouin and Mike Papadakis and Patrick Heymans},
title = {Towards Security-Aware Mutation Testing},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March 13-17, 2017},
year = {2017},
address = {},
month = {},
pages = {97--102}
} |
| 20 | Linares-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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{linares-vasquez_FSE_17,
author = {Linares-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},
title = {Enabling Mutation Testing for Android Apps},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering},
year = {2017},
address = {New York, NY, USA},
month = {},
pages = {233--244}
} |