Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.14279/13756
Title: Symbolic execution for dynamic, evolutionary test data generation
Authors: Andreou, Andreas S. 
Sofokleous, Anastasis A. 
Kourras, Antonis 
Major Field of Science: Engineering and Technology
Field Category: Electrical Engineering - Electronic Engineering - Information Engineering
Keywords: Control flow graphs;Genetic algorithms;Search-based test data generation;Symbolic program transformation
Issue Date: 1-Dec-2009
Source: ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings
Volume: DISI
Conference: International Conference on Enterprise Information Systems 
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.
ISBN: 9789898111845
DOI: 10.5220/0001992701440150
Rights: © 2018 SciTePress
Type: Conference Papers
Affiliation : University of Cyprus 
Publication Type: Peer Reviewed
Appears in Collections:Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation

CORE Recommender
Show full item record

Page view(s) 50

277
Last Week
0
Last month
0
checked on Nov 6, 2024

Google ScholarTM

Check

Altmetric


Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.