Automatic Generation of Object Usage Specifications from Large Method Traces
Metadata only
Date
2009Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Book title
2009 IEEE/ACM International Conference on Automated Software EngineeringJournal / series
Automated Software Engineering (ASE)Volume
Pages / Article No.
Publisher
IEEEEvent
Subject
Specification inference; dynamic analysis; formal specifications; temporal propertiesMore
Show all metadata
ETH Bibliography
yes
Altmetrics