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

@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 = {} }

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

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

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

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

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

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

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

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