@INPROCEEDINGS{BelliBTF11, author = {Fevzi Belli and Mutlu Beyazit and Tomohiko Takagi and Zengo Furukawa}, title = {Mutation Testing of "Go-Back" Functions Based on Pushdown Automata}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011}, year = {2011}, address = {}, month = {}, pages = {249--258} }

@INPROCEEDINGS{DerezinskaK11, author = {Anna Derezinska and Karol Kowalski}, title = {Object-Oriented Mutation Applied in Common Intermediate Language Programs Originated from C{\#}}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings}, year = {2011}, address = {}, month = {}, pages = {342--350} }

@INPROCEEDINGS{shrestha_ICST_11, author = {Kavir Shrestha and Matthew J. Rutherford}, title = {An Empirical Evaluation of Assertions as Oracles}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011}, year = {2011}, address = {}, month = {}, pages = {110--119} }

@INPROCEEDINGS{NguyenMT11a, author = {Duy Cu Nguyen and Alessandro Marchetto and Paolo Tonella}, title = {Change Sensitivity Based Prioritization for Audit Testing of Webservice Compositions}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings}, year = {2011}, address = {}, month = {}, pages = {357--365} }

@INPROCEEDINGS{aichernig_ICST_11, author = {Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"{o}}bstl and Willibald Krenn}, title = {Efficient Mutation Killers in Action}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011}, year = {2011}, address = {}, month = {}, pages = {120--129} }

@INPROCEEDINGS{dadeau_ICST_11, author = {Fr{\'{e}}d{\'{e}}ric Dadeau and Pierre{-}Cyrille H{\'{e}}am and Rafik Kheddam}, title = {Mutation-Based Test Generation from Security Protocols in {HLPSL}}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011}, year = {2011}, address = {}, month = {}, pages = {240--248} }

@INPROCEEDINGS{NaminK11, author = {Akbar Siami Namin and Sahitya Kakarla}, title = {The use of mutation in testing experiments and its sensitivity to external threats}, booktitle = {Proceedings of the 20th International Symposium on Software Testing and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011}, year = {2011}, address = {}, month = {}, pages = {342--352} }

@ARTICLE{CiupaPOLM11, author = {Ilinca Ciupa and Alexander Pretschner and Manuel Oriol and Andreas Leitner and Bertrand Meyer}, title = {On the number and nature of faults found by random testing}, journal = {Softw. Test., Verif. Reliab.}, year = {2011}, month = {}, volume = {21}, number = {1}, pages = {3--28} }

@ARTICLE{zhou_STVR_11, author = {Chixiang Zhou and Phyllis G. Frankl}, title = {{JDAMA:} Java database application mutation analyser}, journal = {Softw. Test., Verif. Reliab.}, year = {2011}, month = {}, volume = {21}, number = {3}, pages = {241--263} }

@INPROCEEDINGS{HuLO11, author = {Jingyu Hu and Nan Li and Jeff Offutt}, title = {An Analysis of {OO} Mutation Operators}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings}, year = {2011}, address = {}, month = {}, pages = {334--341} }

@ARTICLE{PapadakisM11b, author = {Mike Papadakis and Nicos Malevris}, title = {Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing}, journal = {Software Quality Journal}, year = {2011}, month = {}, volume = {19}, number = {4}, pages = {691--723} }

@INPROCEEDINGS{KaminskiAO11, author = {Gary Kaminski and Paul Ammann and Jeff Offutt}, title = {Better predicate testing}, booktitle = {Proceedings of the 6th International Workshop on Automation of Software Test, {AST} 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011}, year = {2011}, address = {}, month = {}, pages = {57--63} }

@INPROCEEDINGS{GligoricBJ11, author = {Milos Gligoric and Sandro Badame and Ralph Johnson}, title = {SMutant: a tool for type-sensitive mutation testing in a dynamic language}, booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011}, year = {2011}, address = {}, month = {}, pages = {424--427} }

@INPROCEEDINGS{winbladh_ASE_11, author = {Kristina Winbladh and Anand Ranganathan}, title = {Evaluating test selection strategies for end-user specified flow-based applications}, booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011}, year = {2011}, address = {}, month = {}, pages = {400--403} }

@INPROCEEDINGS{madiraju_ICSTW_11, author = {Pratyusha Madiraju and Akbar Siami Namin}, title = {Para{\(\mathrm{\mu}\)} - {A} Partial and Higher-Order Mutation Tool with Concurrency Operators}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings}, year = {2011}, address = {}, month = {}, pages = {351--356} }

@INPROCEEDINGS{FraserA11, author = {Gordon Fraser and Andrea Arcuri}, title = {EvoSuite: automatic test suite generation for object-oriented software}, booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011}, year = {2011}, address = {}, month = {}, pages = {416--419} }

@INPROCEEDINGS{FraserZ11, author = {Gordon Fraser and Andreas Zeller}, title = {Generating parameterized unit tests}, booktitle = {Proceedings of the 20th International Symposium on Software Testing and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011}, year = {2011}, address = {}, month = {}, pages = {364--374} }

@INPROCEEDINGS{JustKS11, author = {Ren{\'{e}} Just and Gregory M. Kapfhammer and Franz Schweiggert}, title = {Using conditional mutation to increase the efficiency of mutation analysis}, booktitle = {Proceedings of the 6th International Workshop on Automation of Software Test, {AST} 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011}, year = {2011}, address = {}, month = {}, pages = {50--56} }

@INPROCEEDINGS{saifan_ICST_11, author = {Ahmad A. Saifan and J{\"{u}}rgen Dingel and Jeremy S. Bradbury and Ernesto Posse}, title = {Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011}, year = {2011}, address = {}, month = {}, pages = {269--278} }

@INPROCEEDINGS{murtaza_ICSE_11, author = {Syed Shariyar Murtaza and Nazim H. Madhavji and Mechelle Gittens and Zude Li}, title = {Diagnosing new faults using mutants and prior faults}, booktitle = {Proceedings of the 33rd International Conference on Software Engineering, {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011}, year = {2011}, address = {}, month = {}, pages = {960--963} }