loading
Documents

Research.Publish.Connect.

Paper

Authors: Lucilia Y. Araki and Leticia M. Peres

Affiliation: Federal University of Paraná UFPR, Brazil

ISBN: 978-989-758-298-1

Keyword(s): Software Testing, Test Criteria, Concolic Testing, Dynamic Symbolic Execution.

Abstract: We present in this paper a systematic review, using (Biolchini et al., 2005) approach, of methods, techniques and tools regarding to concolic testing with application of test criteria. The test activity is the process of running a program with the intent of discovering defects. The search for test cases to increase the coverage of structural tests is being addressed by approaches that generate test cases using symbolic and concolic execution. Concolic testing is an effective technique for automated software testing, that aims to generate test inputs to locate failures of implementation in a program. Application of a test criterion is very important to ensure the quality of the test cases used. The number of elements exercised provides a measure of coverage that can be used to evaluate the test data set and consider the test activity to be closed.

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

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:
Araki L. and Peres L. (2018). A Systematic Review of Concolic Testing with Aplication of Test Criteria .In Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-298-1, pages 121-132. DOI: 10.5220/0006776301210132

@conference{iceis18,
author={Lucilia Y. Araki and Leticia M. Peres},
title={A Systematic Review of Concolic Testing with Aplication of Test Criteria },
booktitle={Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2018},
pages={121-132},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006776301210132},
isbn={978-989-758-298-1},
}

TY - CONF

JO - Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - A Systematic Review of Concolic Testing with Aplication of Test Criteria
SN - 978-989-758-298-1
AU - Araki L.
AU - Peres L.
PY - 2018
SP - 121
EP - 132
DO - 10.5220/0006776301210132

Login or register to post comments.

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