Show simple item record

dc.contributor.advisorKhurshid, Sarfraz
dc.creatorRen, Yuanrui
dc.date.accessioned2018-08-07T15:12:41Z
dc.date.available2018-08-07T15:12:41Z
dc.date.created2018-05
dc.date.issued2018-04-26
dc.date.submittedMay 2018
dc.identifierdoi:10.15781/T2KH0FH13
dc.identifier.urihttp://hdl.handle.net/2152/65976
dc.description.abstractThis report presents Korat-Viz, an off-line visualization tool for Korat, a framework for generating test cases of Java programs. Given a predicate specifying the structural properties and a bound on the desired test input size, Korat can generate all test cases satisfying these two requirements. The default representation of the generated test cases in Korat is candidate vector. Korat-Viz provides a graphical representation of the test cases, helping users to have a better understanding of the Korat search and the generated test cases. More specifically, our implementation focuses on recursive linked data structures, such as linked lists and binary trees, which are commonly used in Java libraries and are standard examples for the Korat tool.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.subjectKorat
dc.subjectVisualization tool
dc.subjectOff-line visualization tools
dc.subjectTest cases
dc.subjectJava program test cases
dc.subjectCandidate vector
dc.subjectRecursive linked data
dc.titleA visualization tool for recursive linked structures generated by Korat
dc.typeThesis
dc.date.updated2018-08-07T15:12:41Z
dc.description.departmentElectrical and Computer Engineering
thesis.degree.departmentElectrical and Computer Engineering
thesis.degree.disciplineElectrical and Computer Engineering
thesis.degree.grantorThe University of Texas at Austin
thesis.degree.levelMasters
thesis.degree.nameMaster of Science in Engineering
dc.type.materialtext


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record