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 contribution

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 (US)
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
PublisherIEEE Computer Society
Pages323-325
Number of pages3
ISBN (Electronic)9781538642351
DOIs
StatePublished - Oct 23 2018
Event2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018 - Lisbon, Portugal
Duration: Oct 1 2018Oct 4 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

Other

Other2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018
CountryPortugal
CityLisbon
Period10/1/1810/4/18

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Human-Computer Interaction
  • Software

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

    Cao, J., Astorga, A., Srisakaokul, S., Wu, Z., Liu, X., Xiao, X., & Xie, T. (2018). Visualizing path exploration to assist problem diagnosis for structural test generation. In C. Kelleher, G. Engels, J. P. Fernandes, J. Cunha, & J. Mendes (Eds.), Proceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018 (pp. 323-325). [8506484] (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC; Vol. 2018-October). IEEE Computer Society. https://doi.org/10.1109/VLHCC.2018.8506484