Visualizing path exploration to assist problem diagnosis for structural test generation

Jiayi Cao, Angello Astorga, Siwakorn Srisakaokul, Zhengkai Wu, Xueqing Liu, Xusheng Xiao, Tao Xie

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

Dynamic Symbolic Execution (DSE) is among the most effective techniques for structural test generation, i.e., test generation to achieve high structural coverage. Despite its recent success, DSE still suffers from various problems such as the boundary problem when applied on various programs in practice. To assist problem diagnosis for structural test generation, in this paper, we propose a visualization approach named PexViz. Our approach helps the tool users better understand and diagnose the encountered problems by reducing the large search space for problem root causes by aggregating information gathered through DSE exploration.

Original languageEnglish
Title of host publicationProceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018
EditorsCaitlin Kelleher, Gregor Engels, Joao Paulo Fernandes, Jacome Cunha, Jorge Mendes
Pages323-325
Number of pages3
ISBN (Electronic)9781538642351
DOIs
StatePublished - 23 Oct 2018
Event2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018 - Lisbon, Portugal
Duration: 1 Oct 20184 Oct 2018

Publication series

NameProceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC
Volume2018-October
ISSN (Print)1943-6092
ISSN (Electronic)1943-6106

Conference

Conference2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018
Country/TerritoryPortugal
CityLisbon
Period1/10/184/10/18

Fingerprint

Dive into the research topics of 'Visualizing path exploration to assist problem diagnosis for structural test generation'. Together they form a unique fingerprint.

Cite this