Seguir
Sten Vercammen
Sten Vercammen
Dirección de correo verificada de uantwerpen.be
Título
Citado por
Citado por
Año
Goal-oriented mutation testing with focal methods
S Vercammen, M Ghafari, S Demeyer, M Borg
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST …, 2018
102018
Semi-automatic test case expansion for mutation testing
ZX Lu, S Vercammen, S Demeyer
2020 IEEE Workshop on Validation, Analysis and Evolution of Software Tests …, 2020
82020
Speeding up mutation testing via the cloud: lessons learned for further optimisations
S Vercammen, S Demeyer, M Borg, S Eldh
Proceedings of the 12th ACM/IEEE International Symposium on Empirical …, 2018
72018
Formal verification of developer tests: a research agenda inspired by mutation testing
S Demeyer, A Parsai, S Vercammen, B van Bladel, M Abdi
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
42020
Mutation testing optimisations using the Clang front‐end
S Vercammen, S Demeyer, M Borg, N Pettersson, G Hedin
Software Testing, Verification and Reliability 34 (1), e1865, 2024
32024
F-ASTMut mutation optimisations techniques using the Clang front-end
S Vercammen, S Demeyer, M Borg
Software Impacts 16, 100500, 2023
12023
Flaky mutants; another concern for mutation testing
S Vercammen, S Demeyer, M Borg, R Claessens
2021 IEEE International Conference on Software Testing, Verification and …, 2021
12021
Focal methods for C/C++ via LLVM: Steps towards faster mutation testing
S Vercammen, S Demeyer, L Van Roy
12021
Mutation testing: fewer, faster, and smarter
S Vercammen
University of Antwerp, 2023
2023
Enabling Mutation Testing for Continuous Integration by Distribution
S Vercammen
Universiteit Antwerpen, 2017
2017
Efficient model transformations for novices
S Vercammen
IEEE Workshop NEXTA 2021
S Vercammen, S Demeyer, M Borg
Formal Verification of Developer Tests: a Research Agenda Inspired by Mutation Testing
S Vercammen, B van Bladel, M Abdi
Additional Reviewers MSR 2019
A Parsai, A Brito, A Hora, A Di Sorbo, B van Bladel, CB Cardenas, ...
Additional Reviewers of MSR 2018
A Visaggio, A Sharma, A Abdellatif, A Decan, A Hora, A Gkortzis, ...
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15