Automated Formal Static Analysis and Retrieval of Source Code - JKU
Automated Formal Static Analysis and Retrieval of Source Code - JKU
Automated Formal Static Analysis and Retrieval of Source Code - JKU
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
BIBLIOGRAPHY 59<br />
[Hoa69]<br />
[How73]<br />
[KF70]<br />
C. A. R. Hoare. An Axiomatic Basis for Computer Programming. Commun. ACM,<br />
12(10):576–580, 1969.<br />
W. Howden. Methodology for the authomatic generation <strong>of</strong> program test data. Technical<br />
Report 41, St<strong>and</strong>ford Artificial Inteligence Laboratory, St<strong>and</strong>ford, California,<br />
1973.<br />
J. King <strong>and</strong> R. Floyd. An interpretation oriented theorem prover over integers. In<br />
STOC ’70: Proceedings <strong>of</strong> the second annual ACM symposium on Theory <strong>of</strong> computing,<br />
pages 169–179, New York, NY, USA, 1970. ACM.<br />
[Kin70] J. King. A program verifier. PhD thesis, Pittsburgh, PA, USA, 1970.<br />
[Kin75]<br />
J. King. A new approach to program testing. In Proceedings <strong>of</strong> the international<br />
conference on Reliable s<strong>of</strong>tware, pages 228–233, New York, NY, USA, 1975. ACM.<br />
[Kin76] J. King. Symbolic execution <strong>and</strong> program testing. Commun. ACM, 19(7):385–394,<br />
1976.<br />
[Kir99]<br />
[Kov07]<br />
[KPC]<br />
[KPV03]<br />
[LdPdA04]<br />
M. Kirchner. Program Verification with the Mathematical S<strong>of</strong>tware System Theorema.<br />
Technical Report 99-16, July 1999.<br />
L. Kovacs. <strong>Automated</strong> Invariant Generation by Algebraic Techniques for Imperative<br />
Program Verification in Theorema. PhD thesis, RISC, Johannes Kepler University<br />
Linz, Austria, October 2007. RISC Technical Report No. 07-16.<br />
J. Kiniri, E. Poll, <strong>and</strong> D. Cok. Design by Contract <strong>and</strong> Automatic Verification for<br />
Java with JML <strong>and</strong> ESC/Java2.<br />
S. Khurshid, C. Pasareanu, <strong>and</strong> W. Visser. Generalized symbolic execution for model<br />
checking <strong>and</strong> testing, 2003.<br />
D. Lucredio, A. do Prado, <strong>and</strong> E. de Almeida. A Survey on S<strong>of</strong>tware Components<br />
Search <strong>and</strong> <strong>Retrieval</strong>. In EUROMICRO ’04: Proceedings <strong>of</strong> the 30th EUROMICRO<br />
Conference, pages 152–159, Washington, DC, USA, 2004. IEEE Computer Society.<br />
[LM08] R. Leino <strong>and</strong> R. Monahan. Program Verification Using the Spec# Programming<br />
System. Tutorial presented at ETAPS, 2008.<br />
[LRS99]<br />
[LSS84]<br />
[Luk08]<br />
W. Lam, M. Ruiz, <strong>and</strong> P. Srinivasan. Automatic Text Categorization <strong>and</strong> Its Application<br />
to Text <strong>Retrieval</strong>. IEEE Transactions on Knowledge <strong>and</strong> Data Engineering,<br />
11(6):865–879, 1999.<br />
J. Loeckx, K. Sieber, <strong>and</strong> R. Stansifer. The foundations <strong>of</strong> program verification. John<br />
Wiley & Sons, Inc., New York, NY, USA, 1984.<br />
L. Lukacs. <strong>Automated</strong> Modeling <strong>and</strong> <strong>Analysis</strong> <strong>of</strong> Object Oriented <strong>Source</strong> <strong>Code</strong>.<br />
Master’s thesis, Johannes Kepler University, Linz, Austria, 2008. ongoing.