Databases Reference
In-Depth Information
[32] E. Gold. Language identification in the limit. Information and Control,
Volume 10, 1967.
[33] E. Gold. Complexity of automatic identification from given data. Infor-
mation and Control, Volume 37, 1978.
[34] D. Gries. The Science of Programming. Springer Verlag, New York, 1981.
[35] D. Grove and C. Chambers. A framework for call graph construction al-
gorithms. ACM Transactions on Programming Languages and Systems.
Volume 23, November 2001.
[36] N. Gupta. Generating test data for dynamically discovering likely pro-
gram invariants. In Workshop on Dynamic Analysis, May 2003.
[37] B. Hackett, M. Das, D. Wang, and Z. Yang. Modular checking for buffer
overflows in the large. In International Conference on Software Engi-
neering, May 2006.
[38] S. Hangal and M. S. Lam. Tracking down software bugs using automatic
anomaly detection. In International Conference on Software Engineer-
ing, May 2002.
[39] M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via opera-
tional abstraction. In International Conference on Software Engineering,
May 2003.
[40] J. Henkel. Discovering and Debugging Algebraic Specifications for Java
Classes. Ph.D. Dissertation, University of Colorado at Boulder, May
2004.
[41] C. A. R. Hoare. An axiomatic basis for computer programming. Com-
munications of the ACM, October 1969.
[42] C. M. Holloway and R. W. Butler. Impediments to industrial use of
formal methods. IEEE Computer, April 1996.
[43] S. Horwitz. Identifying the semantic and textual differences between two
versions of a program. In Conference on Programming Language Design
and Implementation, June 1990.
[44] S. Horwitz and T. Reps. The use of program dependence graphs in soft-
ware engineering. In International Conference on Software Engineering,
May 1994.
[45] J2EE. http://java.sun.com/j2ee.
[46] D. Jackson and D. Ladd. Semantic Diff: a tool for summarizing the
effects of modifications. In International Conference on Software Main-
tenance, October 1994.
Search WWH ::
Custom Search