| 121 | Jay 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{NanavatiWHJK15,
author = {Jay Nanavati and Fan Wu and Mark Harman and Yue Jia and Jens Krinke},
title = {Mutation testing of memory-related operators},
booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015},
year = {2015},
address = {},
month = {},
pages = {1--10}
} |
| 122 | Bernhard 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{aichernig_ICSTW_15,
author = {Bernhard K. Aichernig and Florian Lorber},
title = {Towards generation of adaptive test cases from partial models of determinized timed automata},
booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015},
year = {2015},
address = {},
month = {},
pages = {1--6}
} |
| 123 | Fevzi 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. |
|
| | Abstract: Available soon... |
| | @ARTICLE{belli_SQJ_15,
author = {Fevzi Belli and Mutlu Beyazit and Andr{\'{e}} Takeshi Endo and Aditya P. Mathur and Adenilso da Silva Sim{\~{a}}o},
title = {Fault domain-based testing in imperfect situations: a heuristic approach and case studies},
journal = {Software Quality Journal},
year = {2015},
month = {},
volume = {23},
number = {3},
pages = {423--452}
} |
| 124 | Javier 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{troya_ICST_15,
author = {Javier Troya and Alexander Bergmayr and Loli Burgue{\~{n}}o and Manuel Wimmer},
title = {Towards systematic mutations for and with {ATL} model transformations},
booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015},
year = {2015},
address = {},
month = {},
pages = {1--10}
} |
| 125 | Fan 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LongR15,
author = {Fan Long and Martin Rinard},
title = {Staged program repair with condition synthesis},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September 4, 2015},
year = {2015},
address = {},
month = {},
pages = {166--178}
} |
| 126 | Mike Papadakis and Yves Le Traon Metallaxis-FL: mutation-based fault localization Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{PapadakisT15,
author = {Mike Papadakis and Yves Le Traon},
title = {Metallaxis-FL: mutation-based fault localization},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {605--628}
} |
| 127 | Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman Guided Mutation Testing for JavaScript Web Applications {IEEE} Trans. Software Eng., 41(5), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{Mirshokraie0P15a,
author = {Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman},
title = {Guided Mutation Testing for JavaScript Web Applications},
journal = {{IEEE} Trans. Software Eng.},
year = {2015},
month = {},
volume = {41},
number = {5},
pages = {429--444}
} |
| 128 | Kay 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. |
|
| | Abstract: Available soon... |
| | @ARTICLE{41854,
author = {Kay H. Brodersen and Fabian Gallusser and Jim Koehler and Nicolas Remy and Steven L. Scott},
title = {Inferring causal impact using Bayesian structural time-series models},
journal = {Annals of Applied Statistics},
year = {2015},
month = {},
volume = {9},
number = {},
pages = {247--274}
} |
| 129 | Milos 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. |
|
| | Abstract: Available soon... |
| | @ARTICLE{GligoricGZSAM15,
author = {Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov},
title = {Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
year = {2015},
month = {},
volume = {24},
number = {4},
pages = {22:1--22:33}
} |
| 130 | Gordon Fraser and Andrea Arcuri Achieving scalable mutation-based generation of whole test suites Empirical Software Engineering, 20(3), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{FraserA15a,
author = {Gordon Fraser and Andrea Arcuri},
title = {Achieving scalable mutation-based generation of whole test suites},
journal = {Empirical Software Engineering},
year = {2015},
month = {},
volume = {20},
number = {3},
pages = {783--812}
} |
| 131 | Marinos Kintis and Nicos Malevris {MEDIC:} {A} static analysis framework for equivalent mutant identification Information {\&} Software Technology, 68(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{KintisM15,
author = {Marinos Kintis and Nicos Malevris},
title = {{MEDIC:} {A} static analysis framework for equivalent mutant identification},
journal = {Information {\&} Software Technology},
year = {2015},
month = {},
volume = {68},
number = {},
pages = {1--17}
} |
| 132 | W. 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{krenn15_momut,
author = {W. Krenn and R. Schlick and S. Tiran and B. Aichernig and E. Jobstl and H. Brandl},
title = {MoMut::UML Model-Based Mutation Testing for UML},
booktitle = {2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)},
year = {2015},
address = {},
month = {April},
pages = {1-8}
} |
| 133 | Fr{\'{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. |
|
| | Abstract: Available soon... |
| | @ARTICLE{dadeau_STVR_15,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and Pierre{-}Cyrille H{\'{e}}am and Rafik Kheddam and Ghazi Maatoug and Micha{\"{e}}l Rusinowitch},
title = {Model-based mutation testing from security protocols in {HLPSL}},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {684--711}
} |
| 134 | Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene Using mutation to assess fault detection capability of model review Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{arcaini_STVR_15,
author = {Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene},
title = {Using mutation to assess fault detection capability of model review},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {629--652}
} |
| 135 | Ren{\'{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. |
|
| | Abstract: Available soon... |
| | @ARTICLE{JustS15,
author = {Ren{\'{e}} Just and Franz Schweiggert},
title = {Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {490--507}
} |
| 136 | Shabnam 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Mirshokraie0P15b,
author = {Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman},
title = {{JSEFT:} Automated Javascript Unit Test Generation},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
year = {2015},
address = {},
month = {},
pages = {1--10}
} |
| 137 | X. 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. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{devroey_ICSE_15,
author = {X. Devroey and G. Perrouin and P. Y. Schobbens and P. Heymans},
title = {Poster: VIBeS, Transition System Mutation Made Easy},
booktitle = {2015 IEEE/ACM 37th IEEE International Conference on Software Engineering},
year = {2015},
address = {},
month = {May},
pages = {817-818}
} |
| 138 | Vincent 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. |
|
| | Abstract: Available soon... |
| | @ARTICLE{aranega_STVR_15,
author = {Vincent Aranega and Jean{-}Marie Mottu and Anne Etien and Thomas Degueule and Benoit Baudry and Jean{-}Luc Dekeyser},
title = {Towards an automation of the mutation analysis dedicated to model transformation},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {653--683}
} |
| 139 | Akbar Siami Namin and Xiaozhen Xue and Omar Rosas and Pankaj Sharma MuRanker: a mutant ranking tool Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{NaminXRS15,
author = {Akbar Siami Namin and Xiaozhen Xue and Omar Rosas and Pankaj Sharma},
title = {MuRanker: a mutant ranking tool},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {572--604}
} |
| 140 | Pedro Reales Mateo and Macario Polo Usaola Reducing mutation costs through uncovered mutants Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{MateoU15,
author = {Pedro Reales Mateo and Macario Polo Usaola},
title = {Reducing mutation costs through uncovered mutants},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {464--489}
} |