| 21 | Parsai, Ali and Murgia, Alessandro and Demeyer, Serge
LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems
Unknown- |
|
| | Abstract: Mutation testing is a well-studied method for increasing the quality of a test suite. We designed LittleDarwin as a mutation testing framework able to cope with large and complex Java software systems, while still being easily extensible with new experimental components. LittleDarwin addresses two existing problems in the domain of mutation testing: having a tool able to work within an industrial setting, and yet, be open to extension for cutting edge techniques provided by academia. LittleDarwin already offers higher-order mutation, null type mutants, mutant sampling, manual mutation, and mutant subsumption analysis. There is no tool today available with all these features that is able to work with typical industrial software systems. |
| | Unknown++ |
| 22 | William B. Langdon and Brian Yee Hong Lam and Marc Modat and Justyna Petke and Mark Harman
Genetic improvement of {GPU} software
Genetic Programming and Evolvable Machines, 18(1), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{LangdonLMPH17,
author = {William B. Langdon and Brian Yee Hong Lam and Marc Modat and Justyna Petke and Mark Harman},
title = {Genetic improvement of {GPU} software},
journal = {Genetic Programming and Evolvable Machines},
year = {2017},
month = {},
volume = {18},
number = {1},
pages = {5--44}
} |
| 23 | Elmahdi Omar and Sudipto Ghosh and Darrell Whitley
Subtle higher order mutants
Information {\&} Software Technology, 81(), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{OmarGW17,
author = {Elmahdi Omar and Sudipto Ghosh and Darrell Whitley},
title = {Subtle higher order mutants},
journal = {Information {\&} Software Technology},
year = {2017},
month = {},
volume = {81},
number = {},
pages = {3--18}
} |
| 24 | Su, Ting and Meng, Guozhu and Chen, Yuting and Wu, Ke and Yang, Weiming and Yao, Yao and Pu, Geguang and Liu, Yang and Su, Zhendong
Guided, Stochastic Model-based GUI Testing of Android Apps
Proceedings of the 2017 11th Joint Meeting on Foundations of Software EngineeringNew York, NY, USA, 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{su_FSE_17,
author = {Su, Ting and Meng, Guozhu and Chen, Yuting and Wu, Ke and Yang, Weiming and Yao, Yao and Pu, Geguang and Liu, Yang and Su, Zhendong},
title = {Guided, Stochastic Model-based GUI Testing of Android Apps},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering},
year = {2017},
address = {New York, NY, USA},
month = {},
pages = {245--256}
} |
| 25 | Wang, Bo and Xiong, Yingfei and Shi, Yangqingwei and Zhang, Lu and Hao, Dan
Faster Mutation Analysis via Equivalence Modulo States
, (), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{WangXSZH17,
author = {Wang, Bo and Xiong, Yingfei and Shi, Yangqingwei and Zhang, Lu and Hao, Dan},
title = {Faster Mutation Analysis via Equivalence Modulo States},
journal = {},
year = {2017},
month = {},
volume = {},
number = {},
pages = {295--306}
} |
| 26 | M. P. Usaola and G. Rojas and I. Rodríguez and S. Hernández
An Architecture for the Development of Mutation Operators
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{usaola_ICSTW_17,
author = {M. P. Usaola and G. Rojas and I. Rodríguez and S. Hernández},
title = {An Architecture for the Development of Mutation Operators},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {143-148}
} |
| 27 | Andr{\'{a}}s M{\'{a}}rki and Birgitta Lindstr{\"{o}}m
Mutation tools for Java
Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017, 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MarkiL17,
author = {Andr{\'{a}}s M{\'{a}}rki and Birgitta Lindstr{\"{o}}m},
title = {Mutation tools for Java},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017},
year = {2017},
address = {},
month = {},
pages = {1364--1415}
} |
| 28 | J. Petke and S. Haraldsson and M. Harman and w. langdon and D. White and J. Woodward
Genetic Improvement of Software: a Comprehensive Survey
IEEE Transactions on Evolutionary Computation, PP(99), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{7911210,
author = {J. Petke and S. Haraldsson and M. Harman and w. langdon and D. White and J. Woodward},
title = {Genetic Improvement of Software: a Comprehensive Survey},
journal = {IEEE Transactions on Evolutionary Computation},
year = {2017},
month = {},
volume = {PP},
number = {99},
pages = {1-1}
} |
| 29 | T. Laurent and M. Papadakis and M. Kintis and C. Henard and Y. L. Traon and A. Ventresque
Assessing and Improving the Mutation Testing Practice of PIT
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), March 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{7927997,
author = {T. Laurent and M. Papadakis and M. Kintis and C. Henard and Y. L. Traon and A. Ventresque},
title = {Assessing and Improving the Mutation Testing Practice of PIT},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)},
year = {2017},
address = {},
month = {March},
pages = {430-435}
} |
| 30 | Val{\'{e}}ria Lelli and Arnaud Blouin and Benoit Baudry
Classifying and Qualifying {GUI} Defects
CoRR, abs/1703.09567(), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{LelliBB17,
author = {Val{\'{e}}ria Lelli and Arnaud Blouin and Benoit Baudry},
title = {Classifying and Qualifying {GUI} Defects},
journal = {CoRR},
year = {2017},
month = {},
volume = {abs/1703.09567},
number = {},
pages = {}
} |
| 31 | Ren{\'{e}} Just and Bob Kurtz and Paul Ammann
Inferring mutant utility from program context
Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{JustKA17,
author = {Ren{\'{e}} Just and Bob Kurtz and Paul Ammann},
title = {Inferring mutant utility from program context},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017},
year = {2017},
address = {},
month = {},
pages = {284--294}
} |
| 32 | M. Kintis and Papadakis, Mike and Papadopoulos, Andreas and Valvis, Evangelos and Malevris, Nicos and Yves {Le Traon}
How Effective Mutation Testing Tools Are? {A}n Empirical Analysis of {J}ava Mutation Testing Tools with Manual Analysis and Real Faults
\textbf{Empirical Software Engineering} (\textbf{EMSE}), (), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{Kintis:EMSE:2017,
author = {M. Kintis and Papadakis, Mike and Papadopoulos, Andreas and Valvis, Evangelos and Malevris, Nicos and Yves {Le Traon}},
title = {How Effective Mutation Testing Tools Are? {A}n Empirical Analysis of {J}ava Mutation Testing Tools with Manual Analysis and Real Faults},
journal = {\textbf{Empirical Software Engineering} (\textbf{EMSE})},
year = {2017},
month = {},
volume = {},
number = {},
pages = {}
} |
| 33 | Thierry Titcheu Chekam and Mike Papadakis and Yves Le Traon and Mark Harman
An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption
Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017, 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ChekamPTH17,
author = {Thierry Titcheu Chekam and Mike Papadakis and Yves Le Traon and Mark Harman},
title = {An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption},
booktitle = {Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
year = {2017},
address = {},
month = {},
pages = {597--608}
} |
| 34 | R. Gopinath and C. Jensen and A. Groce
The Theory of Composite Faults
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), March 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{gopinath_ICST_17,
author = {R. Gopinath and C. Jensen and A. Groce},
title = {The Theory of Composite Faults},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)},
year = {2017},
address = {},
month = {March},
pages = {47-57}
} |
| 35 | B. K. Aichernig and S. Marcovic and R. Schumi
Property-Based Testing with External Test-Case Generators
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{aichernig_ICSTW_17,
author = {B. K. Aichernig and S. Marcovic and R. Schumi},
title = {Property-Based Testing with External Test-Case Generators},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {337-346}
} |
| 36 | Q. Zhu and A. Panichella and A. Zaidman
Speeding-Up Mutation Testing via Data Compression and State Infection
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{zhu_ICSTW_17,
author = {Q. Zhu and A. Panichella and A. Zaidman},
title = {Speeding-Up Mutation Testing via Data Compression and State Infection},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {103-109}
} |
| 37 | Lin Deng and Jeff Offutt and Paul Ammann and Nariman Mirzaei
Mutation operators for testing Android apps
Information {\&} Software Technology, 81(), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{DengOAM17,
author = {Lin Deng and Jeff Offutt and Paul Ammann and Nariman Mirzaei},
title = {Mutation operators for testing Android apps},
journal = {Information {\&} Software Technology},
year = {2017},
month = {},
volume = {81},
number = {},
pages = {154--168}
} |
| 38 | Fan Wu and Jay Nanavati and Mark Harman and Yue Jia and Jens Krinke
Memory mutation testing
Information {\&} Software Technology, 81(), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{WuNHJK17,
author = {Fan Wu and Jay Nanavati and Mark Harman and Yue Jia and Jens Krinke},
title = {Memory mutation testing},
journal = {Information {\&} Software Technology},
year = {2017},
month = {},
volume = {81},
number = {},
pages = {97--111}
} |
| 39 | M. Kintis and M. Papadakis and Y. Jia and N. Malevris and Y. Le Traon and M. Harman
Detecting Trivial Mutant Equivalences via Compiler Optimisations
IEEE Transactions on Software Engineering, PP(99), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{7882714,
author = {M. Kintis and M. Papadakis and Y. Jia and N. Malevris and Y. Le Traon and M. Harman},
title = {Detecting Trivial Mutant Equivalences via Compiler Optimisations},
journal = {IEEE Transactions on Software Engineering},
year = {2017},
month = {},
volume = {PP},
number = {99},
pages = {1-1}
} |
| 40 | Alex D. B. Alberto and Ana Cavalcanti and Marie{-}Claude Gaudel and Adenilso Sim{\~{a}}o
Formal mutation testing for Circus
Information {\&} Software Technology, 81(), 2017. |
|
| | Abstract: Available soon... |
| | @ARTICLE{AlbertoCGS17,
author = {Alex D. B. Alberto and Ana Cavalcanti and Marie{-}Claude Gaudel and Adenilso Sim{\~{a}}o},
title = {Formal mutation testing for Circus},
journal = {Information {\&} Software Technology},
year = {2017},
month = {},
volume = {81},
number = {},
pages = {131--153}
} |
