Antwerp Systems and software Modelling

Publications

Analyzing variant forks of software repositories from social coding platforms

Source
Software ecosystems : tooling and analytics-p. 131-152
Author(s)

Mutation testing optimisations using the Clang front‐end

Source
Software: testing, verification and reliability - ISSN 0960-0833- (2023) p. 1-34
Author(s)
    Sten Vercammen, Serge Demeyer, Markus Borg, Niklas Pettersson, Görel Hedin

Bi-objective lexicographic optimization in Markov decision processes with related objectives

Source
Lecture notes in computer science- () p. 203-223
Author(s)
    Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo Alberto Pérez, Jean-François Raskin