2026-09-20T04:45:48Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/101243 2023-07-11 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Xie, Tao Cao, Jiayi 2018-09-04T20:42:01Z 2018-09-04T20:42:01Z 2020-09-05T09:15:20Z 2018-04-27 2018-05 Significant progress has been made in the field of automatic test generation, and Dynamic Symbolic Execution (DSE) is among the most effective techniques in this field. Despite its success, DSE still suffers from various obstacles when applied on complex programs. Users of DSE-based testing tools often experience three main categories of problems: the object creation problem, external method call problem, and boundary problem. When these problems arise, the testing tools present little information about the problem causes, leaving the users in the dark. Furthermore, there is little visual (i.e., easy to digest) guidance readily available to solve the problems effectively. The lack of guidance is especially troublesome given that the tools do not scale well when the number of problems increases. As a result, the time needed to investigate the root causes of the problems is prohibitive. To address such issue, in this thesis, 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. In this thesis, we illustrate the benefits of the visualized information in assisting the tool users and our design decisions for such visualization. We provide a comparison between the proposed approach and two related previous approaches: IntelliTest, an industrial test generator available in Visual Studio 2015/2017, and an existing state-of-the-art visualization approach, SEViz. Our initial comparison results on example cases demonstrate the benefits of our proposed approach and its superiority over the related approaches. Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2020-05-01 The student, Jiayi Cao, accepted the attached license on 2018-04-27 at 11:47. The student, Jiayi Cao, submitted this Thesis for approval on 2018-04-27 at 11:48. This Thesis was approved for publication on 2018-04-27 at 12:10. DSpace SAF Submission Ingestion Package generated from Vireo submission #12538 on 2018-08-31 at 17:21:50 Made available in DSpace on 2018-09-04T20:42:01Z (GMT). No. of bitstreams: 2 CAO-THESIS-2018.pdf: 740044 bytes, checksum: 0fe3ea968c238feb2165eff86cad7d2e (MD5) LICENSE.txt: 4205 bytes, checksum: a1ae9e14bcbd39228608faa6e8ec92bb (MD5) Previous issue date: 2018-04-27 Embargo set by: Seth Robbins for item 107328 Lift date: 2020-09-04T20:42:08Z Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD system U of I Only Restriction Lifted for Item 107328 on 2020-09-05T09:15:20Z. application/pdf http://hdl.handle.net/2142/101243 en Copyright 2018 Jiayi Cao Visualization, Dynamic Symbolic Execution, Test Input Generation Aiding automated testing generation process by visualizing dynamic symbolic execution text text Computer Science Computer Science University of Illinois at Urbana-Champaign Thesis M.S.