Please use this identifier to cite or link to this item: https://ktisis.cut.ac.cy/handle/10488/13756
DC FieldValueLanguage
dc.contributor.authorAndreou, Andreas S.-
dc.contributor.authorSofokleous, Anastasis A.-
dc.contributor.authorKourras, Antonis-
dc.date.accessioned2019-05-23T11:42:18Z-
dc.date.available2019-05-23T11:42:18Z-
dc.date.issued2009-12-01-
dc.identifier.citationICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedingsen_US
dc.identifier.isbn9789898111845-
dc.description.abstractThis 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.formatpdfen_US
dc.language.isoenen_US
dc.rights© 2018 SciTePressen_US
dc.subjectControl flow graphsen_US
dc.subjectGenetic algorithmsen_US
dc.subjectSearch-based test data generationen_US
dc.subjectSymbolic program transformationen_US
dc.titleSymbolic execution for dynamic, evolutionary test data generationen_US
dc.typeConference Papersen_US
dc.collaborationUniversity of Cyprusen_US
dc.subject.categoryElectrical Engineering - Electronic Engineering - Information Engineeringen_US
dc.countryCyprusen_US
dc.subject.fieldEngineering and Technologyen_US
dc.publicationPeer Revieweden_US
dc.relation.conferenceInternational Conference on Enterprise Information Systemsen_US
dc.identifier.doi10.5220/0001992701440150en_US
dc.identifier.scopus2-s2.0-74549169088en
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/74549169088en
dc.contributor.orcid#NODATA#en
dc.contributor.orcid#NODATA#en
dc.contributor.orcid#NODATA#en
dc.relation.volumeDISIen
cut.common.academicyear2009-2010en_US
item.fulltextNo Fulltext-
item.languageiso639-1other-
item.grantfulltextnone-
crisitem.author.deptDepartment of Electrical Engineering, Computer Engineering and Informatics-
crisitem.author.facultyFaculty of Engineering and Technology-
crisitem.author.orcid0000-0001-7104-2097-
crisitem.author.parentorgFaculty of Engineering and Technology-
Appears in Collections:Δημοσιεύσεις σε συνέδρια/Conference papers
Show simple item record

Page view(s)

12
Last Week
2
Last month
2
checked on Jul 16, 2019

Google ScholarTM

Check

Altmetric


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