Statically Checking API Protocol Conformance with Mined Multi-Object Specifications
Metadata only
Date
2012Type
- Conference Paper
Publication status
publishedExternal links
Editor
Book title
34th International Conference on Software Engineering (ICSE 2012) : June 2-9, 2012, Zurich, Switzerland ; proceedingsPages / Article No.
Publisher
IEEE PressEvent
Subject
Typestate; Static analysis; Specification miningOrganisational unit
03422 - Gross, Thomas (emeritus) / Gross, Thomas (emeritus)
More
Show all metadata