Databases Reference
In-Depth Information
[25] Sanjeev Kumar and Kai Li. Using model checking to debug device
rmware. SIGOPS Operating Systems Review, 36(SI):61{74, 2002.
[26] Patrick Lam and Martin Rinard. A type system and analysis for the
automatic extraction and enforcement of design information. In Proceed-
ings of the 17th European Conference on Object-Oriented Programming,
pages 275{302, Darmstadt, Germany, July 2003.
[27] Benjamin Livshits, John Whaley, and Monica S. Lam. Reflection analysis
for Java. In LNCS 3780, pages 139{160, November 2005.
[28] Benjamin Livshits and Thomas Zimmermann. DynaMine: finding com-
mon error patterns by mining software revision histories. In Proceedings
of the 13th ACM SIGSOFT International Symposium on the Foundations
of Software Engineering (FSE-13), pages 296{305, September 2005.
[29] Benjamin Livshits and Thomas Zimmermann. Locating matching
method calls by mining revision history data. In Proceedings of the Work-
shop on the Evaluation of Software Defect Detection Tools, June 2005.
[30] Heikki Mannila, Hannu Toivonen, and A. Inkeri Verkamo. Ecient al-
gorithms for discovering association rules. In Proceedings of the AAAI
Workshop on Knowledge Discovery in Databases, pages 181{192, Wash-
ington, D.C., July 1994.
[31] Michael Martin, Benjamin Livshits, and Monica S. Lam. Finding appli-
cation errors and security flaws using PQL: a program query language.
In OOPSLA '05: Proceedings of the 20th Annual ACM SIGPLAN Con-
ference on Object Oriented Programming Systems Languages and Appli-
cations, pages 365{383, 2005.
[32] Amir Michail. Data mining library reuse patterns in user-selected applica-
tions. In Proceedings of the 14th International Conference on Automated
Software Engineering, pages 24{33, IEEE, Cocoa Beach, FL, October
1999.
[33] Amir Michail. Data mining library reuse patterns using generalized asso-
ciation rules. In Proceedings of the International Conference on Software
Engineering, pages 167{176, Limerick, Ireland, June 2000.
[34] Nicholas Nethercote and Julian Seward. Valgrind: a program supervision
framework. Electronic Notes in Theoretical Computer Science, 89:1{23,
2003.
[35] Slava Pestov. jEdit user guide.
http://www.jedit.org/
, 2005.
[36] Ranjith Purushothaman and Dewayne E. Perry. Towards understanding
the rhetoric of small changes. In Proceedings of the International Work-
shop on Mining Software Repositories, pages 90{94, Edinburgh, Scotland,
May 2004.
Search WWH ::
Custom Search