Statically Checking API Protocol Conformance with Mined Multi-Object Specifications

Companion Report
Thumbnail
Metadata only
Author
Pradel, Michael
Jaspan, Ciera
Aldrich, Jonathan
Gross, Thomascc
Show all
Date
2012-03
Type
    Report
Abstract
This technical report provides additional details for the paper entitled Statically Checking API Protocol Conformance with Mined Multi-Object Specifications [1]. We formally describe how to translate API usage protocols represented as finite state machines into a relationship-based specification la Show more
Publication status
published
Journal / series
Technical Report
Volume
752
Publisher
ETH Zurich, Department of Computer Science
Organisational unit
03422 - Gross, Thomas (emeritus) / Gross, Thomas (emeritus)  
More
Show all metadata
ETH Bibliography
yes
Altmetrics