| 261 | Gordon Fraser and Andreas Zeller Mutation-Driven Generation of Unit Tests and Oracles {IEEE} Trans. Software Eng., 38(2), 2012. |
|
| | Abstract: Available soon... |
| | @ARTICLE{FraserZ12,
author = {Gordon Fraser and Andreas Zeller},
title = {Mutation-Driven Generation of Unit Tests and Oracles},
journal = {{IEEE} Trans. Software Eng.},
year = {2012},
month = {},
volume = {38},
number = {2},
pages = {278--292}
} |
| 262 | Vinicius H. S. Durelli and Jeff Offutt and M{\'{a}}rcio Eduardo Delamaro Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DurelliOD12,
author = {Vinicius H. S. Durelli and Jeff Offutt and M{\'{a}}rcio Eduardo Delamaro},
title = {Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {681--690}
} |
| 263 | Harman, Mark and McMinn, Phil and de Souza, Jerffeson Teixeira and Yoo, Shin Search Based Software Engineering: Techniques, Taxonomy, Tutorial Unknown- |
|
| | Abstract: Available soon... |
| | Unknown++ |
| 264 | Ren{\'{e}} Just and Gregory M. Kapfhammer and Franz Schweiggert Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis 23rd {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{JustKS12b,
author = {Ren{\'{e}} Just and Gregory M. Kapfhammer and Franz Schweiggert},
title = {Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
year = {2012},
address = {},
month = {},
pages = {11--20}
} |
| 265 | Ren{\'{e}} Just and Gregory M. Kapfhammer and Franz Schweiggert Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{JustKS12a,
author = {Ren{\'{e}} Just and Gregory M. Kapfhammer and Franz Schweiggert},
title = {Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {720--725}
} |
| 266 | Claire {Le Goues} and ThanhVu Nguyen and Stephanie Forrest and Westley Weimer GenProg: {A} Generic Method for Automatic Software Repair {IEEE} Trans. Software Eng., 38(1), 2012. |
|
| | Abstract: Available soon... |
| | @ARTICLE{GouesNFW12,
author = {Claire {Le Goues} and ThanhVu Nguyen and Stephanie Forrest and Westley Weimer},
title = {GenProg: {A} Generic Method for Automatic Software Repair},
journal = {{IEEE} Trans. Software Eng.},
year = {2012},
month = {},
volume = {38},
number = {1},
pages = {54--72}
} |
| 267 | Mike Papadakis and Nicos Malevris Mutation based test case generation via a path selection strategy Information {\&} Software Technology, 54(9), 2012. |
|
| | Abstract: Available soon... |
| | @ARTICLE{PapadakisM12a,
author = {Mike Papadakis and Nicos Malevris},
title = {Mutation based test case generation via a path selection strategy},
journal = {Information {\&} Software Technology},
year = {2012},
month = {},
volume = {54},
number = {9},
pages = {915--932}
} |
| 268 | Le Thi My Hanh and Thanh Binh Nguyen Mutation Operators for Simulink Models Fourth International Conference on Knowledge and Systems Engineering, {KSE} 2012, Danang, Vietnam, August 17-19, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{hanh_other_12,
author = {Le Thi My Hanh and Thanh Binh Nguyen},
title = {Mutation Operators for Simulink Models},
booktitle = {Fourth International Conference on Knowledge and Systems Engineering, {KSE} 2012, Danang, Vietnam, August 17-19, 2012},
year = {2012},
address = {},
month = {},
pages = {54--59}
} |
| 269 | Yehia Elrakaiby and Tejeddine Mouelhi and Yves Le Traon Testing Obligation Policy Enforcement Using Mutation Analysis Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{elrakaiby_icstw_12,
author = {Yehia Elrakaiby and Tejeddine Mouelhi and Yves Le Traon},
title = {Testing Obligation Policy Enforcement Using Mutation Analysis},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {673--680}
} |
| 270 | JeeHyun Hwang and Tao Xie and Donia El Kateb and Tejeddine Mouelhi and Yves Le Traon Selection of regression system tests for security policy evolution {IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{hwang_ASE_12,
author = {JeeHyun Hwang and Tao Xie and Donia El Kateb and Tejeddine Mouelhi and Yves Le Traon},
title = {Selection of regression system tests for security policy evolution},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012},
year = {2012},
address = {},
month = {},
pages = {266--269}
} |
| 271 | Yi Wei and Bertrand Meyer and Manuel Oriol Is Branch Coverage a Good Measure of Testing Effectiveness? Unknown- |
|
| | Abstract: Available soon... |
| | Unknown++ |
| 272 | Konrad Jamrozik and Gordon Fraser and Nikolai Tillmann and Jonathan de Halleux Augmented dynamic symbolic execution {IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @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}
} |
| 273 | Simona Nica On the Improvement of the Mutation Score Using Distinguishing Test Cases Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011. |
|
| | Abstract: Available soon... |
| | @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}
} |
| 274 | Sahitya Kakarla and Selina Momotaz and Akbar Siami Namin An Evaluation of Mutation and Data-Flow Testing: {A} Meta-analysis Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011. |
|
| | Abstract: Available soon... |
| | @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}
} |
| 275 | Andrea Arcuri and Lionel C. Briand Adaptive random testing: an illusion of effectiveness? Proceedings of the 20th International Symposium on Software Testing and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011, 2011. |
|
| | Abstract: Available soon... |
| | @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}
} |
| 276 | Diptikalyan Saha and Mangala Gowri Nanda and Pankaj Dhoolia and V. Krishna Nandivada and Vibha Sinha and Satish Chandra Fault localization for data-centric programs 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, 2011. |
|
| | Abstract: Available soon... |
| | @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}
} |
| 277 | Chixiang Zhou and Phyllis G. Frankl Inferential Checking for Mutants Modifying Database States Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011. |
|
| | Abstract: Available soon... |
| | @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}
} |
| 278 | Satish Chandra and Emina Torlak and Shaon Barman and Rastislav Bod{\'{\i}}k Angelic debugging Proceedings of the 33rd International Conference on Software Engineering, {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, 2011. |
|
| | Abstract: Available soon... |
| | @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}
} |
| 279 | Mark Harman and Yue Jia and William B. Langdon Strong higher order mutation-based test data generation 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, 2011. |
|
| | Abstract: Available soon... |
| | @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}
} |
| 280 | Alexandre Bartel and Benoit Baudry and Freddy Munoz and Jacques Klein and Tejeddine Mouelhi and Yves Le Traon Model Driven Mutation Applied to Adaptative Systems Testing Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011 Workshops Proceedings, March 21 - March 25, 2011, Berlin, Germany, 2011. |
|
| | Abstract: Available soon... |
| | @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}
} |