loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: TheAnh Do ; A. C. M. Fong and Russel Pears

Affiliation: Auckland University of Technology, New Zealand

ISBN: 978-989-8565-13-6

Keyword(s): Dynamic Symbolic Execution, Automated Test Input Generation, Software Testing, Data Flow Analysis.

Related Ontology Subjects/Areas/Topics: Service-Oriented Software Engineering and Management ; Software Engineering ; Software Quality Management

Abstract: Dynamic symbolic execution has been shown an effective technique for automated test input generation. However, its scalability is limited due to the combinatorial explosion of the path space. We propose to take advantage of data flow analysis to better perform dynamic symbolic execution in the context of generating test inputs for maximum structural coverage. In particular, we utilize the chaining mechanism to (1) extract precise guidance to direct dynamic symbolic execution towards exploring uncovered code elements and (2) meanwhile significantly optimize the path exploration process. Preliminary experiments conducted to evaluate the performance of the proposed approach have shown very encouraging results.

PDF ImageFull Text

Download
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 18.207.134.98

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:
Do, T.; Fong, A. and Pears, R. (2012). Precise Guidance to Dynamic Test Generation.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 5-12. DOI: 10.5220/0003969000050012

@conference{enase12,
author={TheAnh Do. and A. C. M. Fong. and Russel Pears.},
title={Precise Guidance to Dynamic Test Generation},
booktitle={Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2012},
pages={5-12},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003969000050012},
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 - Precise Guidance to Dynamic Test Generation
SN - 978-989-8565-13-6
AU - Do, T.
AU - Fong, A.
AU - Pears, R.
PY - 2012
SP - 5
EP - 12
DO - 10.5220/0003969000050012

Login or register to post comments.

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