„Hyperproperties“

Suchergebnisse

43 Treffer

• Mutation testing with hyperproperties
  Fellner, Andreas ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg
• Gray-box monitoring of hyperproperties with an application to privacy
  Stucki, Sandro ; Sánchez, César ; Schneider, Gerardo ; Bonakdarpour, Borzoo
• Reasoning about Hyperproperties
  Milushev, Dimiter Vladimirov 2014 Scholars' Press