| 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}
} |