11 | M. Trakhtenbrot Mutation Patterns for Temporal Requirements of Reactive Systems 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{trakhtenbrot_ICSTW_17,
author = {M. Trakhtenbrot},
title = {Mutation Patterns for Temporal Requirements of Reactive Systems},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {116-121}
} |
12 | Brown, David Bingham and Vaughn, Michael and Liblit, Ben and Reps, Thomas The Care and Feeding of Wild-caught Mutants Proceedings of the 2017 11th Joint Meeting on Foundations of Software EngineeringNew York, NY, USA, 2017. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{brown_FSE_17,
author = {Brown, David Bingham and Vaughn, Michael and Liblit, Ben and Reps, Thomas},
title = {The Care and Feeding of Wild-caught Mutants},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering},
year = {2017},
address = {New York, NY, USA},
month = {},
pages = {511--522}
} |
13 | I. Ahmed and C. Jensen and A. Groce and P. E. McKenney Applying Mutation Analysis on Kernel Test Suites: An Experience Report 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{ahmed_ICSTW_17,
author = {I. Ahmed and C. Jensen and A. Groce and P. E. McKenney},
title = {Applying Mutation Analysis on Kernel Test Suites: An Experience Report},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {110-115}
} |
14 | P. Arcaini and A. Gargantini and E. Riccobene MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{arcaini_ICSTW_17,
author = {P. Arcaini and A. Gargantini and E. Riccobene},
title = {MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {87-96}
} |
15 | B. Lisper and B. Lindström and P. Potena and M. Saadatmand and M. Bohlin Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{lisper_ICSTW_17,
author = {B. Lisper and B. Lindström and P. Potena and M. Saadatmand and M. Bohlin},
title = {Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {65-68}
} |
16 | C. Iida and S. Takada Reducing Mutants with Mutant Killable Precondition 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{iida_ICSTW_17,
author = {C. Iida and S. Takada},
title = {Reducing Mutants with Mutant Killable Precondition},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {128-133}
} |
17 | K. G. Larsen and F. Lorber and B. Nielsen and U. M. Nyman Mutation-Based Test-Case Generation with Ecdar 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{larsen_ICSTW_17,
author = {K. G. Larsen and F. Lorber and B. Nielsen and U. M. Nyman},
title = {Mutation-Based Test-Case Generation with Ecdar},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
year = {2017},
address = {},
month = {March},
pages = {319-328}
} |
18 | D. Shin and S. Yoo and D. H. Bae A Theoretical and Empirical Study of Diversity-aware Mutation Adequacy Criterion IEEE Transactions on Software Engineering, PP(99), 2017. |
|
| Abstract: Available soon... |
| @ARTICLE{shin_TSE_17,
author = {D. Shin and S. Yoo and D. H. Bae},
title = {A Theoretical and Empirical Study of Diversity-aware Mutation Adequacy Criterion},
journal = {IEEE Transactions on Software Engineering},
year = {2017},
month = {},
volume = {PP},
number = {99},
pages = {1-1}
} |
19 | Thomas Loise and Xavier Devroey and Gilles Perrouin and Mike Papadakis and Patrick Heymans Towards Security-Aware Mutation Testing 2017 {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March 13-17, 2017, 2017. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{LoiseDPPH17,
author = {Thomas Loise and Xavier Devroey and Gilles Perrouin and Mike Papadakis and Patrick Heymans},
title = {Towards Security-Aware Mutation Testing},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March 13-17, 2017},
year = {2017},
address = {},
month = {},
pages = {97--102}
} |
20 | Linares-V\'{a}squez, Mario and Bavota, Gabriele and Tufano, Michele and Moran, Kevin and Di Penta, Massimiliano and Vendome, Christopher and Bernal-C\'{a}rdenas, Carlos and Poshyvanyk, Denys Enabling Mutation Testing for Android Apps Proceedings of the 2017 11th Joint Meeting on Foundations of Software EngineeringNew York, NY, USA, 2017. |
|
| Abstract: Available soon... |
| @INPROCEEDINGS{linares-vasquez_FSE_17,
author = {Linares-V\'{a}squez, Mario and Bavota, Gabriele and Tufano, Michele and Moran, Kevin and Di Penta, Massimiliano and Vendome, Christopher and Bernal-C\'{a}rdenas, Carlos and Poshyvanyk, Denys},
title = {Enabling Mutation Testing for Android Apps},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering},
year = {2017},
address = {New York, NY, USA},
month = {},
pages = {233--244}
} |