Hypertesting: The Case for Automated Testing of Hyperproperties

Johannes Kinder

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

475 Downloads (Pure)

Original language	English
Title of host publication	3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015)
Pages	1-8
Number of pages	8
Publication status	Published - Mar 2015
Event	3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015) - , United Kingdom Duration: 18 Apr 2015 → …

Conference	3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015)
Country/Territory	United Kingdom
Period	18/04/15 → …

Access to Document

@inproceedings{1780f85a930344c691b93fd5fa005a5e,

title = "Hypertesting: The Case for Automated Testing of Hyperproperties",

author = "Johannes Kinder",

year = "2015",

month = mar,

language = "English",

pages = "1--8",

booktitle = "3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015)",

note = "3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015) ; Conference date: 18-04-2015",

}