Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
Effective Generation of Interface Robustness Properties for Static Analysis
ASE, 2006.
@inproceedings{ASE-2006-AcharyaSXX,
author = "Mithun Acharya and Tanu Sharma and Jun Xu and Tao Xie",
booktitle = "{Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2006.35",
isbn = "0-7695-2579-2",
pages = "293--296",
publisher = "{IEEE Computer Society}",
title = "{Effective Generation of Interface Robustness Properties for Static Analysis}",
year = 2006,
}