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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Bibliography<br />
[***] ***. Mindbreeze Enterprise Search 3.0.1 SDK. Mindbreeze S<strong>of</strong>tware GmbH,<br />
Honauerstrasse 4, 4020 Linz, Austria.<br />
[ABH + 07]<br />
[ADL + 79]<br />
[B. 06a]<br />
[B. 06b]<br />
[BCJ + 06]<br />
W. Ahrendt, B. Beckert, R. Hähnle, P. Rümmer, <strong>and</strong> P. Schmitt. Verifying objectoriented<br />
programs with KeY: A tutorial. In 5th International Symposium on <strong>Formal</strong><br />
Methods for Components <strong>and</strong> Objects, Amsterdam, The Netherl<strong>and</strong>s, volume 4709<br />
<strong>of</strong> LNCS, pages 70–101. Springer, 2007.<br />
P. Asirelli, P. Degano, G. Levi, A. Martèlli, U. Montanari, G. Pacini, F. Sirovich, <strong>and</strong><br />
F. Turini. A flexible environment for program development based on a symbolic interpreter.<br />
In ICSE ’79: Proceedings <strong>of</strong> the 4th international conference on S<strong>of</strong>tware<br />
engineering, pages 251–263, Piscataway, NJ, USA, 1979. IEEE Press.<br />
B. Cook <strong>and</strong> A. Podelski <strong>and</strong> A. Rybalchenko. Termination pro<strong>of</strong>s for systems<br />
code. SIGPLAN Not., 41(6):415–426, 2006.<br />
B. Gulavani <strong>and</strong> T. Henzinger <strong>and</strong> Y. Kannan <strong>and</strong> A. Nori <strong>and</strong> S. Rajamani.<br />
Synergy: A new algorithm for property checking. In SIGSOFT ’06/FSE-14: Proceedings<br />
<strong>of</strong> the 14th ACM SIGSOFT international symposium on Foundations <strong>of</strong><br />
s<strong>of</strong>tware engineering, pages 117–127, New York, NY, USA, 2006. ACM.<br />
B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi,<br />
N. Popov, J. Robu, M. Rosenkranz, <strong>and</strong> W. Windsteiger. Theorema: Towards<br />
Computer-Aided Mathematical Theory Exploration. Journal <strong>of</strong> Applied Logic,<br />
4(4):470–504, 2006.<br />
[BEL75] R. Boyer, B. Elspas, <strong>and</strong> K. Levitt. SELECT - a formal system for testing <strong>and</strong><br />
debugging programs by symbolic execution. In Proceedings <strong>of</strong> the international<br />
conference on Reliable s<strong>of</strong>tware, pages 234–245, New York, NY, USA, 1975. ACM.<br />
[BKM02]<br />
[BPS00]<br />
C. Boyapati, S. Khurshid, <strong>and</strong> D. Marinov. Korat: automated testing based on Java<br />
predicates. In ISSTA ’02: Proceedings <strong>of</strong> the 2002 ACM SIGSOFT international<br />
symposium on S<strong>of</strong>tware testing <strong>and</strong> analysis, pages 123–133, New York, NY, USA,<br />
2002. ACM.<br />
W. Bush, J. Pincus, <strong>and</strong> D. Sielaff. A static analyzer for finding dynamic programming<br />
errors. S<strong>of</strong>tware - Practice <strong>and</strong> Experience, 30(7):775–802, 2000.<br />
57