| 331 | Mark B. Trakhtenbrot Implementation-Oriented Mutation Testing of Statechart Models Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{trakhtenbrot_ICSTW_10,
author = {Mark B. Trakhtenbrot},
title = {Implementation-Oriented Mutation Testing of Statechart Models},
booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings},
year = {2010},
address = {},
month = {},
pages = {120--125}
} |
| 332 | Salem Fawaz Adra and Phil McMinn Mutation Operators for Agent-Based Models Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{adra_ICSTW_10,
author = {Salem Fawaz Adra and Phil McMinn},
title = {Mutation Operators for Agent-Based Models},
booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings},
year = {2010},
address = {},
month = {},
pages = {151--156}
} |
| 333 | Pedro Reales Mateo and Macario Polo Usaola and A. Jefferson Offutt Mutation at System and Functional Levels Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MateoUO10,
author = {Pedro Reales Mateo and Macario Polo Usaola and A. Jefferson Offutt},
title = {Mutation at System and Functional Levels},
booktitle = {Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)},
year = {2010},
address = {Paris, France},
month = {6 April},
pages = {}
} |
| 334 | Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei Test generation via Dynamic Symbolic Execution for mutation testing 26th {IEEE} International Conference on Software Maintenance {(ICSM} 2010), September 12-18, 2010, Timisoara, Romania, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhangXZTHM10,
author = {Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei},
title = {Test generation via Dynamic Symbolic Execution for mutation testing},
booktitle = {26th {IEEE} International Conference on Software Maintenance {(ICSM} 2010), September 12-18, 2010, Timisoara, Romania},
year = {2010},
address = {},
month = {},
pages = {1--10}
} |
| 335 | Mike Papadakis and Nicos Malevris An Empirical Evaluation of the First and Second Order Mutation Testing Strategies Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisM10,
author = {Mike Papadakis and Nicos Malevris},
title = {An Empirical Evaluation of the First and Second Order Mutation Testing Strategies},
booktitle = {Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)},
year = {2010},
address = {Paris, France},
month = {6 April},
pages = {}
} |
| 336 | Lu Zhang and Shan{-}Shan Hou and Jun{-}Jue Hu and Tao Xie and Hong Mei Is operator-based mutant selection superior to random mutant selection? Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhangHHXM10,
author = {Lu Zhang and Shan{-}Shan Hou and Jun{-}Jue Hu and Tao Xie and Hong Mei},
title = {Is operator-based mutant selection superior to random mutant selection?},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010},
year = {2010},
address = {},
month = {},
pages = {435--444}
} |
| 337 | Marinos Kintis and Mike Papadakis and Nicos Malevris Evaluating Mutation Testing Alternatives: {A} Collateral Experiment 17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney, Australia, November 30 - December 3, 2010, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KintisPM10c,
author = {Marinos Kintis and Mike Papadakis and Nicos Malevris},
title = {Evaluating Mutation Testing Alternatives: {A} Collateral Experiment},
booktitle = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney, Australia, November 30 - December 3, 2010},
year = {2010},
address = {},
month = {},
pages = {300--309}
} |
| 338 | Mike Papadakis and Nicos Malevris and Marinos Kintis Mutation Testing Strategies - {A} Collateral Approach {ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisMK10b,
author = {Mike Papadakis and Nicos Malevris and Marinos Kintis},
title = {Mutation Testing Strategies - {A} Collateral Approach},
booktitle = {{ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010},
year = {2010},
address = {},
month = {},
pages = {325--328}
} |
| 339 | Mike Papadakis and Nicos Malevris An Empirical Evaluation of the First and Second Order Mutation Testing Strategies Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisM10b,
author = {Mike Papadakis and Nicos Malevris},
title = {An Empirical Evaluation of the First and Second Order Mutation Testing Strategies},
booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings},
year = {2010},
address = {},
month = {},
pages = {90--99}
} |
| 340 | Vilas Jagannath and Milos Gligoric and Steven Lauterburg and Darko Marinov and Gul Agha Mutation Operators for Actor Systems Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{JagannathGLMA10,
author = {Vilas Jagannath and Milos Gligoric and Steven Lauterburg and Darko Marinov and Gul Agha},
title = {Mutation Operators for Actor Systems},
booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings},
year = {2010},
address = {},
month = {},
pages = {157--162}
} |