Effective generation of interface robustness properties for static analysis

Mithun Acharya, Tanu Sharma, Xu Jun, Xie Tao

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Effective generation of interface robustness properties for static analysis'. Together they form a unique fingerprint.

Keyphrases

Computer Science