TY - GEN
T1 - Visualizing path exploration to assist problem diagnosis for structural test generation
AU - Cao, Jiayi
AU - Astorga, Angello
AU - Srisakaokul, Siwakorn
AU - Wu, Zhengkai
AU - Liu, Xueqing
AU - Xiao, Xusheng
AU - Xie, Tao
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/10/23
Y1 - 2018/10/23
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85056833381&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85056833381&partnerID=8YFLogxK
U2 - 10.1109/VLHCC.2018.8506484
DO - 10.1109/VLHCC.2018.8506484
M3 - Conference contribution
AN - SCOPUS:85056833381
T3 - Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC
SP - 323
EP - 325
BT - Proceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018
A2 - Kelleher, Caitlin
A2 - Engels, Gregor
A2 - Fernandes, Joao Paulo
A2 - Cunha, Jacome
A2 - Mendes, Jorge
T2 - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018
Y2 - 1 October 2018 through 4 October 2018
ER -