A path-based approach to the detection of infinite looping

Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001

Volumn , Issue , 2001, Pages 88-94

  Zhang, Jian ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TOOLS; IMPERATIVE PROGRAMS; PATH-BASED; PROGRAM ERRORS; SIMPLE LOOP;

EID: 33749632869     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APAQS.2001.990006     Document Type: Conference Paper

References (10)

1. J. Bentley. More Programming Pearls: Confessions of a Coder. Addison-Wesley, Reading, MA., 1988.
2. J. Brauburger. Automatic Termination Analysis for Functional and Imperative Programs. Dissertationen zur Künstlichen Intelligenz (DISK1 207). Infix, Sankt Augustin, 1999.
3. J. Brauburger and J. Giesl. Approximating the domains of functional and imperative programs. Science of Computer Programming, 35(2):113-136, 1999.
4. A. Dolzmann and T. Sturm. Redlog user manual, edition 2.0. Technical Report MIP-9905, Department of Mathematics and Informatics, University of Passau, Germany, 1999.
5. L.A. Clarke and D.J. Richardson. Symbolic evaluation methods - implementations and applications. In B. Chandrasekaran and S. Radicchi, editors, Computer Program Testing, pages 65-102. North-Holland, 1981.
6. P.D. Coward. Symbolic execution and testing. Information and Software Technology, 33(1):53-64, 1991.
7. J. Rushby and M. Srivas. Using PVS to prove some the orems of David Parnas. In J.J. Joyce and C.-J.H. Seger, editors, Proc. of the Sixth Int'l Workshop on Higher Order Logic Theorem Proving and Its Applications, volume 780 of LNCS, pages 163-173. Springer, 1994.
8. C. Walther. On proving the termination of algorithms by machine. ArtiJicial Intelligence, 71(1): 101-157, 1994.
9. J. Zhang. Specification analysis and test data generation by solving boolean combinations of numeric constraints. In T.H. Tse and T.Y. Chen, editors, Proc. of the First Asia-Pacific Conference on Quality Software, pages 267-274. IEEE Computer Society, 2000.
10. J. Zhang and X. Wang. A constraint solver and its application to path feasibility analysis. Int'l J. of Software Engineering and Knowledge Engineering, 11(2): 139-156,2001 .