Automatic Inference and Effective Application of Temporal Specifications - Mining Software Specifications: Methodologies and Applications - page 306

[63] OpenSSL.http://www.openssl.org.

[64] OpenSSL security advisory, 17 March 2004.

http://www.openssl.org/news/secadv 20040317.txt.

[65] J. Perkins and M. Ernst. Ecient incremental algorithms for dynamic
detection of likely invariants. In International Symposium on Founda-
tions of Software Engineering, November 2004.

[66] P. Pratikakis, J. S. Foster, and M. Hicks. Context-sensitive correlation
analysis for detecting races. In ACM Conference on Programming Lan-
guage Design and Implementation, June 2006.

[67] A. Pnueli. The temporal logic of programs. In Symposium on Founda-
tions of Computer Science, October/November 1977.

[68] B. Pytlik, M. Renieris, S. Krishnamurthi, and S. Reiss. Automated fault
localization using potential invariants. In International Symposium on
Automated and Analysis-Driven Debugging. September 2003.

[69] S. P. Reiss and M. Renieris. Encoding program executions. In Interna-
tional Conference on Software Engineering, May 2001.

[70] T. Reps, S. Horwitz, and M. Sagiv. Precise inter-procedural dataflow
analysis via graph reachability. In Symposium on Principles of Program-
ming Languages, January 1995.

[71] E. Rescorla. An Introduction to OpenSSL Programming, Part One.
http://www.rtfm.com/ openssl-examples/, October 2001.

[72] H. G. Rice. Classes of recursively enumerable sets and their decision
problems. Transactions of the American Mathematics Society, Volume
74, 1953.

[73] C. Simonyi. Hungarian notation. MSDN library.

http://msdn.microsoft.com/library/default.asp?url=/library/en-
us/dnvs600/html/HungaNotat.asp.

[74] SSL Specification, Third Version. http://wp.netscape.com/eng/ssl3.

[75] Static driver verifier: finding bugs in device drivers at compile-time. In
Windows Hardware Engineering Conference, April 2004.

[76] A. Srivastava, A. Edwards, and H. Vo. Vulcan: Binary Transformation
in a Distributed Environment. Microsoft Research Technical Report,
MSR-TR-2001-50, April 2001.

[77] R. E. Strom and S. Yemini. Typestate: a programming language con-
cept for enhancing software reliability. IEEE Transactions on Software
Engineering, Volume 12, January 1986.