Path-Aware Static Program Analyses for Specification Mining* - Mining Software Specifications: Methodologies and Applications - page 353

[22] R. Gopalakrishna. Improving Software Assurance Using Lightweight
Static Analysis. Ph.D. thesis, Purdue University, 2006.

[23] D. Gunopulos, R. Khardon, H. Mannila, S. Saluja, H. Toivonen, and
R. Sharma. Discovering all most specific sentences. ACM Transactions
on Database Systems, 28:140{174, 2003.

[24] T. Henzinger, R. Jhala, and R. Majumdar. Permissive interfaces. SIG-
SOFT Softw. Eng. Notes, 30(5):31{40, 2005.

[25] G.J. Holzmann. The SPIN Model Checker: Primer and Reference Man-
ual. Addison-Wesley, 2004.

[26] R. Jhala and R. Majumdar. Path slicing. In PLDI '05: Proceedings of
the ACM SIGPLAN 2005 Conference on Programming Language Design
and Implementation, pages 38{47, 2005.

[27] A.S. Kapadia, W. Chan, and L.A. Moye. Mathematical Statistics with

Applications. CRC Press, 2005.

[28] T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From un-
certainty to belief: inferring the specication within. In OSDI '06: Pro-
ceedings of the 7th Usenix Symposium on Operating Systems Design and
Implementation, pages 161{176, 2006.

[29] P. Lam, V. Kuncak, and M. Rinard. Generalized typestate checking for
data structure consistency. In VMCAI '05: Proceedings of 6th Interna-
tional Conference on Verification, Model Checking and Abstract Interpre-
tation, pages 430{447, 2005.

[30] Z. Li, S. Lu, S. Myagmar, and Y. Zhou. Cp-miner: a tool for finding
copy-paste and related bugs in operating system code. In OSDI '04:
Proceedings of the 6th Usenix Symposium on Operating Systems Design
and Implementation, pages 289{302, 2004.

[31] Z. Li and Y. Zhou. Pr-miner: automatically extracting implicit program-
ming rules and detecting violations in large software code. In ESEC-FSE
'05: 10th European Software Engineering Conference and 13th ACM SIG-
SOFT International Symposium on Foundations of Software Engineering,
pages 306{315, 2005.

[32] B. Liblit, M. Naik, A. Zheng, A. Aiken, and M. Jordan. Scalable sta-
tistical bug isolation. In PLDI '05: Proceedings of the ACM SIGPLAN
2005 Conference on Programming Language Design and Implementation,
pages 15{26, Chicago, IL, 2005.

[33] B. Livshits and T. Zimmermann. Dynamine: a framework for finding
common bugs by mining software revision histories. In Proceedings of
the Joint 10th European Software Engineering Conference and 13th ACM
SIGSOFT Symposium on the Foundations of Software Engineering, 2005.