Publications

2025

Duran, Mat{'i}as, Laurent, Thomas, Rushe, Ellen, Ventresque, Anthony. 2025. Metamorphic Testing for Pose Estimation Systems. In: 2025 IEEE Conference on Software Testing, Verification and Validation (ICST). doi: 10.1109/ICST62969.2025.10988919.

2024

Doyle, Jordan, Laurent, Thomas, Ventresque, Anthony. 2024. PADRAIG: Precise Android Automated Input Generation. In: 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS). doi: 10.1109/QRS62785.2024.00017.

2023

Anthony, V, Doyle, J, Laurent, T. 2023. Modelling Android applications through static analysis and systematic exploratory testing. In: International Conference on Dependable Systems and Their Applications. doi: 10.1109/DSA59317.2023.00022.

2022

Gaffney, Stephen, Laurent, Thomas, Ventresque, Anthony. 2022. Re-visiting the coupling between mutants and real faults with Defects4J 2.0. In: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE.
Birhane, Abeba, Flowers, Johnathan, L. Dancy, Christopher, Laurent, Thomas, Ruane, Elayne, S. Brown, Matthew, Ventresque, Anthony. 2022. The Forgotten Margins of AI Ethics. In: 2022 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery. doi: 10.1145/3531146.3533157.
Laurent, Thomas, Murphy, Aidan, Ventresque, Anthony. 2022. The Case for Grammatical Evolution in Test Generation. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery. doi: 10.1145/3520304.3534042.

2020

Anthony Ventresque, Laurent, Thomas. 2020. A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner. In: 2019 26th Asia-Pacific Software Engineering Conference (APSEC). doi: 10.1109/APSEC48747.2019.00022.
Laurent, T, Ventresque, A, Wall, F. 2020. On the impact of timeouts and JVM crashes in Pitest. In: 15th International Workshop on Mutation Analysis, Co-located with ICST. doi: 10.1109/ICSTW50294.2020.00050.

2019

Anthony Ventresque, Laurent, Thomas. 2019. PIT-HOM: an Extension of Pitest for Higher Order Mutation Analysis. doi: 10.1109/ICSTW.2019.00036.

2017

Anthony Ventresque, Beean, Dan, Guillot, Laura, Laurent, Thomas, Smith, Ross, Toyama, Motomichi. 2017. Towards a Gamified Equivalent Mutants Detection Platform. In: 10th IEEE International Conference on Software Testing, Verification and Validation (ICST)10th IEEE International Conference on Software Testing, Verification and Validation (ICST).
Anthony Ventresque, Henard, Christopher, Kintis, Marinos, Laurent, Thomas, Le Traon, Yves, Papadakis,Mike. 2017. Assessing and Improving the Mutation Testing Practice of PIT. In: 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017).

2016

Anthony Ventresque, Coles, Henry, Henard, Christopher, Laurent, Thomas, Papadakis, Mike. 2016. PIT: A Practical Mutation Testing Tool for Java (Demo). Available at: http://doi.acm.org/10.1145/2931037.2948707.