A Systematic Review of Concolic Testing with Aplication of Test Criteria

Lucilia Y. Araki, Leticia M. Peres

2018

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.

Paper Citation

in Harvard Style

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

in Bibtex Style

@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},
}

in EndNote Style

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