Skip to content

Mutation Testing with Hyperproperties.

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

VenueBSEFM
Year2019
ProceedingsSEFM

Browse the full SEFM paper archive.