Databases Reference
In-Depth Information
[34] T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From uncer-
tainty to belief: inferring the specification within. In Proceedings of Sym-
posium on Operating Systems Design and Implementation, pages 161{
176, 2006.
[35] Z. Li and Y. Zhou. PR{miner: automatically extracting implicit program-
ming rules and detecting violations in large software code. In Proceedings
of SIGSOFT Symposium on the Foundations of Software Engineering,
pages 306{315, 2005.
[36] B. Livshits, A.V. Nori, S.K. Rajamani, and A. Banerjee. Merlin: speci-
fication inference for explicit information flow problems. In Proceedings
of SIGPLAN Conference on Programming Language Design and Imple-
mentation, pages 75{86, 2009.
[37] B. Livshits and T. Zimmermann. DynaMine: finding common error pat-
terns by mining software revision histories. In Proceedings of ACM Sym-
posium on the Foundations of Software Engineering, pages 296{305, 2005.
[38] D. Lo and S.-C. Khoo. SMArTIC: towards building an accurate, ro-
bust and scalable specification miner. In Proceedings of ACM Interna-
tional Symposium on Foundations of Software Engineering, pages 265{
275, 2006.
[39] D. Lo, S.-C. Khoo, and C. Liu. Ecient mining of iterative patterns
for software specification discovery. In Proceedings of ACM International
Conference on Knowledge Discovery and Data Mining, pages 460{469,
2007.
[40] D. Lo, S.-C. Khoo, and C. Liu. Mining temporal rules for software main-
tenance. Journal of Software Maintenance and Evolution, 20(4):227{247,
2008.
[41] D. Lo, J. Li, L. Wong, and S.-C. Khoo. Mining iterative generators and
representative rules for software specification discovery. IEEE Transac-
tion on Knowledge and Data Engineering, 25(2), 2011.
[42] D. Lo and S. Maoz. Mining scenario-based triggers and effects. In Pro-
ceedings of IEEE/ACM International Conference on Automated Software
Engineering, pages 109{118, 2008.
[43] D. Lo and S. Maoz. Mining symbolic scenario-based specifications. In
Proceedings of ACM Workshop on Program Analysis for Software Tools
and Engineering, pages 29{35, 2008.
[44] D. Lo and S. Maoz. Mining hierarchical scenario-based specifications.
In Proceedings of IEEE/ACM International Conference on Automated
Software Engineering, pages 359{370, 2009.
Search WWH ::
Custom Search