Mithun Acharya Tanu Sharma Jun Xu Tao Xie Effective Generation of Interface Robustness Properties for Static Analysis. 293-296 2006 conf/kbse/2006 ASE http://doi.ieeecomputersociety.org/10.1109/ASE.2006.35 db/conf/kbse/ase2006.html#AcharyaSXX06