loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Lucilia Y. Araki and Leticia M. Peres

Affiliation: Federal University of Paraná UFPR, Brazil

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

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Software Engineering ; Tools, Techniques and Methodologies for System Development

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.

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

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; ISSN 2184-4992, SciTePress, 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},
issn={2184-4992},
}

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
IS - 2184-4992
AU - Araki, L.
AU - Peres, L.
PY - 2018
SP - 121
EP - 132
DO - 10.5220/0006776301210132
PB - SciTePress