-
Source code for the executable semantics presented in Master Thesis "Introduc...
DESCRIPTIONThe code presented in this repository is a formal representation of the semantics of a system level test run in a keyword-driven testing framework, Robot Framework.... -
Replication package for "Cost Measures Matter for Mutation Testing Study Vali...
This is a replication package for the experiments reported in 2020 FSE paper "Cost Measures Matter for Mutation Testing Study Validity".For more information, please read...
