Precise Guidance to Dynamic Test Generation

TheAnh Do; A. C. M. Fong; Russel Pears

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Precise Guidance to Dynamic Test Generation

Topics: Software Quality Management

In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 5-12, 2012 , Wrocław, Poland

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

Affiliation: Auckland University of Technology, New Zealand

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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 - ENASE; ISBN 978-989-8565-13-6; ISSN 2184-4895, SciTePress, 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 - ENASE},
year={2012},
pages={5-12},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003969000050012},
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 - Precise Guidance to Dynamic Test Generation
SN - 978-989-8565-13-6
IS - 2184-4895
AU - Do, T.
AU - Fong, A.
AU - Pears, R.
PY - 2012
SP - 5
EP - 12
DO - 10.5220/0003969000050012
PB - SciTePress