loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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

Affiliation: Nanyang Technological University, Singapore

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.

CC BY-NC-ND 4.0

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.208.238.160

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 - ENASE; ISBN 978-989-8565-13-6; ISSN 2184-4895, SciTePress, 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 - ENASE},
year={2012},
pages={43-52},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003986400430052},
isbn={978-989-8565-13-6},
issn={2184-4895},
}

TY - CONF

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