Automatic generation and inference of interface properties from program source code.

Mithun Acharya

Browse the full OOPSLA paper archive.