Show simple item record

dc.contributor.author
Pradel, Michael
dc.contributor.author
Jaspan, Ciera
dc.contributor.author
Aldrich, Jonathan
dc.contributor.author
Gross, Thomas R.
dc.contributor.editor
Glinz, Martin
dc.date.accessioned
2017-06-09T19:49:34Z
dc.date.available
2017-06-09T19:49:34Z
dc.date.issued
2012
dc.identifier.isbn
978-1-467-31065-9
dc.identifier.isbn
978-1-4673-1066-6
dc.identifier.isbn
978-1-4673-1067-3
dc.identifier.other
10.1109/ICSE.2012.6227127
dc.identifier.uri
http://hdl.handle.net/20.500.11850/46885
dc.language.iso
en
dc.publisher
IEEE Press
dc.subject
Typestate
dc.subject
Static analysis
dc.subject
Specification mining
dc.title
Statically Checking API Protocol Conformance with Mined Multi-Object Specifications
dc.type
Conference Paper
ethz.book.title
34th International Conference on Software Engineering (ICSE 2012) : June 2-9, 2012, Zurich, Switzerland ; proceedings
ethz.pages.start
925
ethz.pages.end
935
ethz.event
34th International Conference on Software Engineering (ICSE 2012)
ethz.event.location
Zürich, Switzerland
ethz.event.date
Jun 2-9, 2012
ethz.notes
.
ethz.identifier.wos
ethz.publication.place
Piscataway, NJ
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02641 - Institut für Computersysteme / Computer Systems Institute::03422 - Gross, Thomas / Gross, Thomas
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02641 - Institut für Computersysteme / Computer Systems Institute::03422 - Gross, Thomas / Gross, Thomas
ethz.date.deposited
2017-06-09T19:51:22Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f084a48738590
ethz.ecitpid
pub:77082
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-24T10:06:25Z
ethz.rosetta.lastUpdated
2018-10-01T16:18:46Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Statically%20Checking%20API%20Protocol%20Conformance%20with%20Mined%20Multi-Object%20Specifications&rft.date=2012&rft.spage=925&rft.epage=935&rft.au=Pradel,%20Michael&Jaspan,%20Ciera&Aldrich,%20Jonathan&Gross,%20Thomas%20R.&rft.isbn=978-1-467-31065-9&978-1-4673-1066-6&978-1-4673-1067-3&rft.genre=proceeding&rft_id=info:doi/978-1-467-31065-9&info:doi/978-1-4673-1066-6&info:doi/978-1-4673-1067-3&rft.btitle=34th%20International%20Conference%20on%20Software%20Engineering%20(ICSE%202012)%20:%20June%202-9,%202012,%20Zurich,%20Switzerland%20;%20proceedings
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record