Unknown++

@INPROCEEDINGS{jamrozik_ase_12, author = {Konrad Jamrozik and Gordon Fraser and Nikolai Tillmann and Jonathan de Halleux}, title = {Augmented dynamic symbolic execution}, booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012}, year = {2012}, address = {}, month = {}, pages = {254--257} }

@INPROCEEDINGS{Nica11, author = {Simona Nica}, title = {On the Improvement of the Mutation Score Using Distinguishing Test Cases}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011}, year = {2011}, address = {}, month = {}, pages = {423--426} }

@INPROCEEDINGS{KakarlaMN11, author = {Sahitya Kakarla and Selina Momotaz and Akbar Siami Namin}, title = {An Evaluation of Mutation and Data-Flow Testing: {A} Meta-analysis}, 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 = {366--375} }

@INPROCEEDINGS{arcuri_STVR_11, author = {Andrea Arcuri and Lionel C. Briand}, title = {Adaptive random testing: an illusion of effectiveness?}, 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 = {265--275} }

@INPROCEEDINGS{SahaNDNSC11, author = {Diptikalyan Saha and Mangala Gowri Nanda and Pankaj Dhoolia and V. Krishna Nandivada and Vibha Sinha and Satish Chandra}, title = {Fault localization for data-centric programs}, 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 = {157--167} }

@INPROCEEDINGS{ZhouF11, author = {Chixiang Zhou and Phyllis G. Frankl}, title = {Inferential Checking for Mutants Modifying Database States}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011}, year = {2011}, address = {}, month = {}, pages = {259--268} }

@INPROCEEDINGS{ChandraTBB11, author = {Satish Chandra and Emina Torlak and Shaon Barman and Rastislav Bod{\'{\i}}k}, title = {Angelic debugging}, 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 = {121--130} }

@INPROCEEDINGS{HarmanJL11, author = {Mark Harman and Yue Jia and William B. Langdon}, title = {Strong higher order mutation-based test data generation}, 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 = {212--222} }

@INPROCEEDINGS{bartel_ICSTW_11, author = {Alexandre Bartel and Benoit Baudry and Freddy Munoz and Jacques Klein and Tejeddine Mouelhi and Yves Le Traon}, title = {Model Driven Mutation Applied to Adaptative Systems Testing}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011 Workshops Proceedings, March 21 - March 25, 2011, Berlin, Germany}, year = {2011}, address = {}, month = {}, pages = {408--413} }