Dynamically inferring, refining, and checking API usage protocols

Thumbnail
Metadata only
Author
Pradel, Michael
Date
2009
Type
    Conference Poster
Publication status
published
External links
Book title
OOPSALA 2009. Proceedings and companion
Pages / Article No.
773 - 774
Publisher
Association for Computing Machinery
Event
24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications (OOPSLA 2009), , October 25-29, 2009
Subject
Specification mining; Runtime verification
More
Show all metadata
ETH Bibliography
yes
Altmetrics