Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.14279/13756
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Andreou, Andreas S. | - |
dc.contributor.author | Sofokleous, Anastasis A. | - |
dc.contributor.author | Kourras, Antonis | - |
dc.date.accessioned | 2019-05-23T11:42:18Z | - |
dc.date.available | 2019-05-23T11:42:18Z | - |
dc.date.issued | 2009-12-01 | - |
dc.identifier.citation | ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings | en_US |
dc.identifier.isbn | 9789898111845 | - |
dc.description.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. | en_US |
dc.format | en_US | |
dc.language.iso | en | en_US |
dc.rights | © 2018 SciTePress | en_US |
dc.subject | Control flow graphs | en_US |
dc.subject | Genetic algorithms | en_US |
dc.subject | Search-based test data generation | en_US |
dc.subject | Symbolic program transformation | en_US |
dc.title | Symbolic execution for dynamic, evolutionary test data generation | en_US |
dc.type | Conference Papers | en_US |
dc.collaboration | University of Cyprus | en_US |
dc.subject.category | Electrical Engineering - Electronic Engineering - Information Engineering | en_US |
dc.country | Cyprus | en_US |
dc.subject.field | Engineering and Technology | en_US |
dc.publication | Peer Reviewed | en_US |
dc.relation.conference | International Conference on Enterprise Information Systems | en_US |
dc.identifier.doi | 10.5220/0001992701440150 | en_US |
dc.identifier.scopus | 2-s2.0-74549169088 | en |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/74549169088 | en |
dc.contributor.orcid | #NODATA# | en |
dc.contributor.orcid | #NODATA# | en |
dc.contributor.orcid | #NODATA# | en |
dc.relation.volume | DISI | en |
cut.common.academicyear | 2009-2010 | en_US |
item.fulltext | No Fulltext | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.openairecristype | http://purl.org/coar/resource_type/c_c94f | - |
item.openairetype | conferenceObject | - |
item.languageiso639-1 | en | - |
crisitem.author.dept | Department of Electrical Engineering, Computer Engineering and Informatics | - |
crisitem.author.faculty | Faculty of Engineering and Technology | - |
crisitem.author.orcid | 0000-0001-7104-2097 | - |
crisitem.author.parentorg | Faculty of Engineering and Technology | - |
Appears in Collections: | Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation |
CORE Recommender
Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.