loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Anastasis A. Sofokleous ; Andreas S. Andreou and Antonis Kourras

Affiliation: University of Cyprus, Cyprus

Keyword(s): Search-based test data generation, Symbolic program transformation, Genetic algorithms, Control flow graphs.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence and Decision Support Systems ; Databases and Information Systems Integration ; Enterprise Information Systems ; Evolutionary Programming ; Information Systems Analysis and Specification ; Modeling Formalisms, Languages and Notations ; Software Engineering ; Software Measurement

Abstract: This paper combines the advantages of symbolic execution with search based testing to produce automatically test data for JAVA programs. A framework is proposed comprising two systems which collaborate to generate test data. The first system is a program analyser capable of performing dynamic and static program analysis. The program analyser creates the control flow graph of the source code under testing and uses a symbolic transformation to simplify the graph and generate paths as independent control flow graphs. The second system is a test data generator that aims to create a set of test cases for covering each path. The implementation details of the framework, as well as the relevant experiments carried out on a number of JAVA programs are presented. The experimental results demonstrate the efficiency and efficacy of the framework and show that it can outperform the performance of related approaches.

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 3.15.10.137

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:
Sofokleous, A.; Andreou, A. and Kourras, A. (2009). SYMBOLIC EXECUTION FOR DYNAMIC, EVOLUTIONARY TEST DATA GENERATION. In Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 3: ICEIS; ISBN 978-989-8111-84-5; ISSN 2184-4992, SciTePress, pages 144-150. DOI: 10.5220/0001992701440150

@conference{iceis09,
author={Anastasis A. Sofokleous. and Andreas S. Andreou. and Antonis Kourras.},
title={SYMBOLIC EXECUTION FOR DYNAMIC, EVOLUTIONARY TEST DATA GENERATION},
booktitle={Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 3: ICEIS},
year={2009},
pages={144-150},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001992701440150},
isbn={978-989-8111-84-5},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 3: ICEIS
TI - SYMBOLIC EXECUTION FOR DYNAMIC, EVOLUTIONARY TEST DATA GENERATION
SN - 978-989-8111-84-5
IS - 2184-4992
AU - Sofokleous, A.
AU - Andreou, A.
AU - Kourras, A.
PY - 2009
SP - 144
EP - 150
DO - 10.5220/0001992701440150
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic