MuAlloy: a mutation testing framework for alloy.

Kaiyuan Wang Allison Sullivan Sarfraz Khurshid

Published in: ICSE (Companion Volume) (2018)

Keyphrases

feature space
main contribution
data sets
database
computational complexity
probabilistic model