TY  - RPRT
TI  - Mutation Testing with Hyperproperties
AU  - Andreas Fellner
AU  - Mitra Tabaei Befrouei
AU  - Georg Weissenbacher
PY  - 2019
UR  - https://arxiv.org/abs/1907.07368
ID  - 1907.07368
ER  -