András Márki
Lecturer in Informatics
School of Informatics
Room PA420Q
Education
Programme Coordinator
Research
Publications
Projects
2020
2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops: 23–27 March 2020 Porto, Portugal
2020. Conference paper.
https://doi.org/10.1109/ICSTW50294.2020.00016
2019
Software testing, verification & reliability
2019. Article. https://doi.org/10.1002/stvr.1667
2017
SAC '17 Proceedings of the Symposium on Applied Computing
2017. Conference paper. https://doi.org/10.1145/3019612.3019825
2016
Proceedings: 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops
2016. Conference paper. https://doi.org/10.1109/ICSTW.2016.28
2015
2015. Report.
Ongoing projects
DOMINO - reducing the number of mutants
We are all heavily dependent on software in our daily life. Software control our cars, phones, bank accounts etc. Failures are frequent and sometimes catastrophic. Software testing aims to reveal faults before the software comes into use.
October 2017 - October 2025 Informatics