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 61<br />
[VHBP00]<br />
[Wil94]<br />
W. Visser, K. Havelund, G. Brat, <strong>and</strong> S. Park. Model Checking Programs. In Proc. <strong>of</strong><br />
the 15th IEEE International Conference on <strong>Automated</strong> S<strong>of</strong>tware Engineering, 2000.<br />
R. Wilkinson. Effective <strong>Retrieval</strong> <strong>of</strong> Structured Documents. In SIGIR ’94: Proceedings<br />
<strong>of</strong> the 17th annual international ACM SIGIR conference on Research <strong>and</strong><br />
development in information retrieval, pages 311–317, New York, NY, USA, 1994.<br />
Springer-Verlag New York, Inc.<br />
[Wol03] S. Wolfram. The Mathematica Book, Fifth Edition. Wolfram Media, 2003.<br />
[YF02]<br />
Y. Ye <strong>and</strong> G. Fischer. Supporting Reuse by Delivering Task-Relevant <strong>and</strong> Personalized<br />
Information. In ICSE ’02: Proceedings <strong>of</strong> the 24th International Conference<br />
on S<strong>of</strong>tware Engineering, pages 513–523, New York, NY, USA, 2002. ACM.