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