loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sun Ding ; Hee Beng Kuan Tan and Kai Ping Liu

Affiliation: Nanyang Technological University, Singapore

ISBN: 978-989-8565-13-6

Keyword(s): Survey, Path Infeasibility, Symbolic Evaluation, Program Analysis, Software Testing.

Related Ontology Subjects/Areas/Topics: Application Integration Technologies ; Applications ; Service-Oriented Software Engineering and Management ; Software and Systems Development Methodologies ; Software Engineering ; Software Process Improvement

Abstract: A program has many and usually an infinite number of logic paths from its entry point to its exit point. Each execution of the program follows one of its logic paths. Regardless of the quality of the program and the programming language used to develop it, in general, a sizable number of these paths are infeasible — that is no input can exercise them. Detection of these infeasible paths has a key impact in many software engineering activities including code optimization, testing and even software security. This article reviews methods for detecting infeasible paths and proposes to revisit this important problem by considering also empirical aspect in conjunction to program analysis.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.91.203.233

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ding S., Beng Kuan Tan H. and Ping Liu K. (2012). A Survey of Infeasible Path Detection.In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8565-13-6, pages 43-52. DOI: 10.5220/0003986400430052

@conference{enase12,
author={Sun Ding and Hee Beng Kuan Tan and Kai Ping Liu},
title={A Survey of Infeasible Path Detection},
booktitle={Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2012},
pages={43-52},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003986400430052},
isbn={978-989-8565-13-6},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A Survey of Infeasible Path Detection
SN - 978-989-8565-13-6
AU - Ding S.
AU - Beng Kuan Tan H.
AU - Ping Liu K.
PY - 2012
SP - 43
EP - 52
DO - 10.5220/0003986400430052

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.