Mutation Testing Publications

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

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