Show simple item record

Heuristics to combat Path Explosion in Symbolic Execution and the Representativeness of the Test Suites.

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorPrasetya, Wishnu
dc.contributor.authorAlbers, Tristan
dc.date.accessioned2024-07-24T23:04:34Z
dc.date.available2024-07-24T23:04:34Z
dc.date.issued2024
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/46877
dc.description.sponsorshipUtrecht University
dc.language.isoEN
dc.subjectHeuristics to combat Path Explosion in Symbolic Execution and the Representativeness of the Test Suites.
dc.titleHeuristics to combat Path Explosion in Symbolic Execution and the Representativeness of the Test Suites.
dc.type.contentMaster Thesis
dc.rights.accessrightsOpen Access
dc.subject.courseuuComputing Science
dc.thesis.id34893


Files in this item

Thumbnail
Name:
Master_Thesis_Tristan_Final_v2.pdf
Size:
776.5Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record