Automatic generation and inference of interface properties from program source code

Mithun Acharya
2006 Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
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