@inproceedings{,
    author = {Kinder, Johannes},
    title = {Hypertesting: The Case for Automated Testing of Hyperproperties},
    editor = {},
    booktitle = {3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot)},
    series = {},
    journal = {},
    address = {},
    publisher = {},
    edition = {},
    year = {2015},
    isbn = {},
    volume = {},
    number =  {},
    pages = {1-8},
    url = {},
    doi = {},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}