A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Automatic generation and inference of interface properties from program source code
2006
Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06
Preserved Fulltext
Our research proposes a novel framework to automatically infer system-specific interface properties from program source code using static model-checking traces.
doi:10.1145/1176617.1176707
dblp:conf/oopsla/Acharya06
fatcat:vczuktb5ufci3gzk22tbojudd4