Mutation testing with hyperproperties

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

OriginalspracheEnglisch
Seitenumfang22
FachzeitschriftSoftware and Systems Modeling
Volume20
DOIs
PublikationsstatusVeröffentlicht - 2021

Research Field

  • Cyber Security

Diese Publikation zitieren