Follow
András Márki
András Márki
Lecturer in Information Technology, University of Skövde
Verified email at his.se - Homepage
Title
Cited by
Cited by
Year
On strong mutation and subsuming mutants
B Lindström, A Márki
Software Testing, Verification and Validation Workshops (ICSTW), 2016 IEEE …, 2016
182016
Mutation tools for Java
A Márki, B Lindström
Proceedings of the Symposium on Applied Computing, 1364-1415, 2017
102017
On strong mutation and the theory of subsuming logic‐based mutants
B Lindström, A Márki
Software Testing, Verification and Reliability 29 (1-2), e1667, 2019
92019
Towards minimal mutation analysis: Using the approximated dominator set of mutants
A Márki
12019
On redundant mutants and strong mutation
B Lindström, A Márki
University of Skövde, 2015
12015
Message from the TestEd 2020 Chairs
B Lindström, J Offutt, K Baral, A Márki
2020 IEEE 13th International Conference on Software Testing, Verification …, 2020
2020
On Software Testing and Subsuming Mutants: An empirical study
A Márki
2014
The system can't perform the operation now. Try again later.
Articles 1–7