loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second Asia-Pacific Conference on Quality Software (APAQS'01)
A Path-Based Approach to the Detection of Infinite Looping
Hong Kong
December 10-December 11
ISBN: 0-7695-1287-9
ASCII Text
x 
 
J. Zhang, "A Path-Based Approach to the Detection of Infinite Looping," Asia-Pacific Conference on Quality Software, pp. 0088, Second Asia-Pacific Conference on Quality Software (APAQS'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/APAQS.2001.990006,
author = {J. Zhang},
title = {A Path-Based Approach to the Detection of Infinite Looping},
journal ={Asia-Pacific Conference on Quality Software},
volume = {0},
year = {2001},
isbn = {0-7695-1287-9},
pages = {0088},
doi = {http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990006},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Conference on Quality Software
TI - A Path-Based Approach to the Detection of Infinite Looping
SN - 0-7695-1287-9
SP
EP
A1 - J. Zhang,
PY - 2001
VL - 0
JA - Asia-Pacific Conference on Quality Software
ER -
 
J. Zhang, Chinese Academy of Sciences
Infinite looping is a ommon type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on program paths. For a simple loop, if we can establish the infeasibility of certain paths within the loop body, we can conclude that the loop does not terminate. Several examples are given to show the effectiveness of the approach. Its main benefits are that it is accurate and it can be supported by automated tools.
Citation:
J. Zhang, "A Path-Based Approach to the Detection of Infinite Looping," apaqs, pp.0088, Second Asia-Pacific Conference on Quality Software (APAQS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.