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.
60 BIBLIOGRAPHY<br />
[MBK91]<br />
[McC63]<br />
Y. Maarek, D. Berry, <strong>and</strong> G. Kaiser. An information retrieval approach for automatically<br />
constructing s<strong>of</strong>tware libraries. IEEE Trans. S<strong>of</strong>tw. Eng., 17(8):800–813,<br />
1991.<br />
John McCarthy. A Basis for a Mathematical Theory <strong>of</strong> Computation. In P. Braffort<br />
<strong>and</strong> D. Hirschberg, editors, Computer Programming <strong>and</strong> <strong>Formal</strong> Systems, pages 33–<br />
70. North-Holl<strong>and</strong>, Amsterdam, 1963.<br />
[Mil92] K. Mills. Requirements Engineering for S<strong>of</strong>tware Reuse, 1992.<br />
[MMM95]<br />
[PD91]<br />
[PJ03]<br />
[PP93]<br />
[Pug92]<br />
[PV04]<br />
[Rij79]<br />
[Sch86]<br />
H. Mili, F. Mili, <strong>and</strong> A. Mili. Reusing S<strong>of</strong>tware: Issues <strong>and</strong> Research Directions.<br />
IEEE Transactions on S<strong>of</strong>tware Engineering, 21(6):528–562, 1995.<br />
R. Prieto-Díaz. Implementing Faceted Classification for S<strong>of</strong>tware Reuse. Commun.<br />
ACM, 34(5):88–97, 1991.<br />
N. Popov <strong>and</strong> T. Jebelean. A Practical Approach to Verification <strong>of</strong> Recursive Programs<br />
in Theorema. In T. Jebelean, V. Negru, <strong>and</strong> A. Popovici, editors, Proceedings<br />
<strong>of</strong> SYNASC’03 (International Workshop on Symbolic <strong>and</strong> Numeric Algorithms for<br />
Scientific Computing Timisoara, Romania, 2003), pages 329–332. Mirton, October<br />
2003.<br />
A. Podgurski <strong>and</strong> L. Pierce. Retrieving Reusable S<strong>of</strong>tware by Sampling Behavior.<br />
ACM Trans. S<strong>of</strong>tw. Eng. Methodol., 2(3):286–303, 1993.<br />
W. Pugh. A practical algorithm for exact array dependence analysis. Commun. ACM,<br />
35(8):102–114, 1992.<br />
C. Pasareanu <strong>and</strong> W. Visser. ”verification <strong>of</strong> java programs using symbolic execution<br />
<strong>and</strong> invariant generation”. In Proceedings <strong>of</strong> the 11th International SPIN Workshop<br />
on Model Checking <strong>of</strong> S<strong>of</strong>tware, volume 2989 <strong>of</strong> LNCS. Springer-Verlag, 2004.<br />
C. J. Van Rijsbergen. Information <strong>Retrieval</strong>. Butterworth-Heinemann, Newton, MA,<br />
USA, 1979.<br />
A. Schrijver. Theory <strong>of</strong> Linear <strong>and</strong> Integer Programming. John Wiley & Sons, Inc.,<br />
New York, USA, 1986.<br />
[Sch00] J. Schumann. <strong>Automated</strong> Theorem Proving in S<strong>of</strong>tware Engineering. Springer-<br />
Verlag, 2000.<br />
[Top75]<br />
R. Topor. Interactive Program Verification using Virtual Programs. PhD thesis,<br />
University <strong>of</strong> Edinburgh, Scotl<strong>and</strong>, 1975.<br />
[VDM + 07] T. V<strong>and</strong>erlei, F. Durao, A. Martins, V. Garcia, E. Almeida, <strong>and</strong> S. Meira. A Cooperative<br />
Classification Mechanism for Search <strong>and</strong> <strong>Retrieval</strong> S<strong>of</strong>tware Components. In<br />
SAC ’07: Proceedings <strong>of</strong> the 2007 ACM symposium on Applied computing, pages<br />
866–871, New York, NY, USA, 2007. ACM.