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.
58 BIBLIOGRAPHY<br />
[Cla76]<br />
L. Clarke. A System to Generate Test Data <strong>and</strong> Symbolically Execute Programs.<br />
S<strong>of</strong>tware Engineering, IEEE Transactions on, SE–2(3):215–222, 1976.<br />
[Cow88] D. Coward. Symbolic execution systems – a review. S<strong>of</strong>tw. Eng. J., 3(6):229–239,<br />
1988.<br />
[CPDGP01] A. Coen-Porisini, G. Denaro, C. Ghezzi, <strong>and</strong> M. Pezzé. Using symbolic execution<br />
for verifying safety-critical systems. In ESEC/FSE-9: Proceedings <strong>of</strong> the 8th European<br />
s<strong>of</strong>tware engineering conference held jointly with 9th ACM SIGSOFT international<br />
symposium on Foundations <strong>of</strong> s<strong>of</strong>tware engineering, pages 142–151, New<br />
York, NY, USA, 2001. ACM.<br />
[CS02]<br />
[dB03]<br />
M. Colón <strong>and</strong> H. Sipma. Practical Methods for Proving Program Termination. In<br />
CAV ’02: Proceedings <strong>of</strong> the 14th International Conference on Computer Aided<br />
Verification, pages 442–454, London, UK, 2002. Springer-Verlag.<br />
J. de Bruijn. Using ontologies – enabling knowledge sharing <strong>and</strong> reuse on the semantic<br />
web. Technical Report DERI-2003-10-29, DERI, 2003.<br />
[Deu73] L. Deutsch. An interactive program verifier. PhD thesis, University <strong>of</strong> California -<br />
Berkley, USA, 1973.<br />
[Dro90]<br />
[GAL + 06]<br />
[God97]<br />
[Hat95]<br />
[Hen94]<br />
[Hen97]<br />
[HJMS]<br />
[HK76]<br />
G. Dromey. Program derivation: the development <strong>of</strong> programs from specifications.<br />
Addison-Wesley Longman Publishing Co., Inc., 1990.<br />
V. Garcia, E. Almeida, L. Lisboa, A. Martins, S. Meira, D. Lucredio, <strong>and</strong> R. Fortes.<br />
Toward a code search engine based on the state-<strong>of</strong>-art <strong>and</strong> practice. In APSEC ’06:<br />
Proceedings <strong>of</strong> the XIII Asia Pacific S<strong>of</strong>tware Engineering Conference, pages 61–70,<br />
Washington, DC, USA, 2006. IEEE Computer Society.<br />
P. Godefroid. Model checking for programming languages using VeriS<strong>of</strong>t. In POPL<br />
’97: Proceedings <strong>of</strong> the 24th ACM SIGPLAN-SIGACT symposium on Principles <strong>of</strong><br />
programming languages, pages 174–186, New York, NY, USA, 1997. ACM.<br />
L. Hatton. Safer C: Developing S<strong>of</strong>tware for in High-Integrity <strong>and</strong> Safety-Critical<br />
Systems. McGraw-Hill, Inc., New York, NY, USA, 1995.<br />
S. Henninger. Using Iterative Refinement to Find Reusable S<strong>of</strong>tware. IEEE S<strong>of</strong>tware,<br />
11(5):48–59, 1994.<br />
S. Henninger. An Evolutionary Approach to Constructing Effective S<strong>of</strong>tware Reuse<br />
Repositories. ACM Trans. S<strong>of</strong>tw. Eng. Methodol., 6(2):111–140, 1997.<br />
T. Henzinger, R. Jhala, R. Majumdar, <strong>and</strong> G. Sutre. Lazy abstraction.<br />
S. Hantler <strong>and</strong> J. King. An Introduction to Proving the Correctness <strong>of</strong> Programs.<br />
ACM Comput. Surv., 8(3):331–353, 1976.