Databases Reference
In-Depth Information
[47] JBoss. http://www.jboss.org.
[48] JRat. http://jrat.sourceforge.net.
[49] Java Transaction API specification. http://java.sun.com/products/jta.
[50] R. Karp. Reducibility among combinatorial problems. In Complexity of
Computer Computations. 1972.
[51] S. Khurshid and D. Marinov. TestEra: a novel framework for automated
testing of Java programs. Automated Software Engineering Journal, De-
cember 2002.
[52] J. C. Knight, C. L. DeJong, M. S. Gibble, and L. G. Nakano. Why
are formal methods not used more widely? In NASA Langley Formal
Methods Workshop, September 1997.
[53] F. Kroger. Temporal Logic of Programs. Springer-Verlag, New York,
1987.
[54] A. Lamsweerde. Formal specification: a roadmap. In International Con-
ference on Software Engineering, May 2000.
[55] S. Letovsky and E. Soloway. Delocalized plans and program comprehen-
sion. IEEE Software, May 1986.
[56] B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable
statistical bug isolation. In Conference on Programming Language De-
sign and Implementation, June 2005.
[57] L. Lin and M. D. Ernst. Improving adaptability via program steering. In
International Symposium on Software Testing and Analysis, July 2004.
[58] B. Livshits and T. Zimmermann. DynaMine: finding common error pat-
terns by mining software revision histories. In Symposium on the Foun-
dations of Software Engineering, September 2005.
[59] D. Mandelin, L. Xu, R. Bodik, and D. Kimelman. Mining jungloids:
helping to navigate the API jungle. In Conference on Programming Lan-
guage Design and Implementation, June 2005.
[60] A. M. Memon, M. E. Pollack, and M. L. Soffa. Hierarchical GUI test case
generation using automated planning. IEEE Transactions on Software
Engineering. Volume 27, February 2001.
[61] W. Miller and E. W. Myers. A le comparison program. Software {
Practice and Experience, Volume 15, 1985.
[62] J. W. Nimmer and M. D. Ernst. Invariant inference for static checking:
an empirical evaluation. In Symposium on the Foundations of Software
Engineering, November 2002.
Search WWH ::
Custom Search