Databases Reference
In-Depth Information
[12] Dawson Engler, Benjamin Chelf, Andy Chou, and Seth Hallem. Checking
system rules using system-specific, programmer-written compiler exten-
sions. In Symposium on Operating Systems Design and Implementation
(OSDI), pages 1{16. ACM Press, 2000.
[13] Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin
Chelf. Bugs as deviant behavior: a general approach to inferring errors
in systems code. In Symposium on Operating Systems Principles, pages
57{72. ACM Press, 2001.
[14] Michael Dean Ernst. Dynamically Discovering Likely Program Invariants.
Ph.D. thesis, University of Washington, 2000.
[15] Mark Gabel and Zhendong Su. Javert: fully automatic mining of general
temporal properties from dynamic traces. In Symposium on Foundations
of Software Engineering (FSE), pages 339{349. ACM Press, 2008.
[16] Carlo Ghezzi, Andrea Mocci, and Mattia Monga. Synthesizing intensional
behavior models by graph transformation. In International Conference
on Software Engineering (ICSE), pages 430{440, 2009.
[17] Sudheendra Hangal and Monica S. Lam. Tracking down software bugs
using automatic anomaly detection. In International Conference on Soft-
ware Engineering (ICSE), pages 291{301. ACM Press, 2002.
[18] Johannes Henkel, Christoph Reichenbach, and Amer Diwan. Discovering
documentation for Java container classes. IEEE Transactions on Software
Engineering, 33(8):526{543, 2007.
[19] Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Permissive
interfaces. In European Software Engineering Conference and Sympo-
sium on Foundations of Software Engineering (ESEC/FSE), pages 31{40.
ACM Press, 2005.
[20] Ciera Jaspan and Jonathan Aldrich. Checking framework interactions
with relationships. In European Conference on Object Oriented Program-
ming, 2009.
[21] Zhenmin Li and Yuanyuan Zhou. PR-Miner: automatically extracting
implicit programming rules and detecting violations in large software
code. In European Software Engineering Conference and Symposium on
Foundations of Software Engineering (ESEC/FSE), pages 306{315. ACM
Press, 2005.
[22] Chang Liu, En Ye, and Debra J. Richardson. Software library usage pat-
tern extraction using a software model checker. In International Confer-
ence on Automated Software Engineering (ASE), pages 301{304. IEEE,
2006.
Search WWH ::
Custom Search