{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/101243"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/101243","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Aiding automated testing generation process by visualizing dynamic symbolic execution","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Cao, Jiayi"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Xie, Tao"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2018,"date_issued":"2018-09-04T20:42:01Z","date_published":"2018-09-04T20:42:01Z","updated_at":"2026-07-22T22:24:38Z","subjects":["Visualization, Dynamic Symbolic Execution, Test Input Generation"],"languages":["en"],"rights":["Copyright 2018 Jiayi Cao"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/101243","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Xie, Tao"]},{"key":"dc:creator","label":"Author","values":["Cao, Jiayi"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2018-09-04T20:42:01Z","2020-09-05T09:15:20Z","2018-04-27","2018-05"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Visualization, Dynamic Symbolic Execution, Test Input Generation"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2018 Jiayi Cao"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/101243"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["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."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Aiding automated testing generation process by visualizing dynamic symbolic execution"]}]}],"canonical_facts":{"dc:contributor":["Xie, Tao"],"dc:creator":["Cao, Jiayi"],"dc:date":["2018-09-04T20:42:01Z","2020-09-05T09:15:20Z","2018-04-27","2018-05"],"dc:description":["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."],"dc:format":["application/pdf"],"dc:identifier":["http://hdl.handle.net/2142/101243"],"dc:language":["en"],"dc:rights":["Copyright 2018 Jiayi Cao"],"dc:subject":["Visualization, Dynamic Symbolic Execution, Test Input Generation"],"dc:title":["Aiding automated testing generation process by visualizing dynamic symbolic execution"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:24:38Z"}