Korat-API : an API for building constraint solving problems for Korat

dc.contributor.advisorKhurshid, Sarfraz
dc.contributor.committeeMemberZhang, Lingming
dc.creatorAlrmaih, Zakaria
dc.date.accessioned2017-12-05T14:38:47Z
dc.date.available2017-12-05T14:38:47Z
dc.date.created2017-05
dc.date.issued2017-05-05
dc.date.submittedMay 2017
dc.date.updated2017-12-05T14:38:47Z
dc.description.abstractThis thesis introduces the foundation of an API for building constraint solving problems for the Korat solver for imperative predicates. Our goal is two-fold: (1) to facilitate the use of Korat as a backend solver for applications that desire using it as a constraint solving engine; and (2) to facilitate optimized analyses using Korat, which follow the spirit of modern constraint solving and software testing techniques. We describe the API and how it uses the core Korat engine, and demonstrate the benefits in two application contexts: (1) using Korat as a backend engine for model counting; and (2) using Korat as test generator. We believe our work introduces a promising approach for making the ability of Korat to efficiently solve imperative predicates more widely applicable, possibly even in new application contexts where Korat has net been used before.
dc.description.departmentElectrical and Computer Engineering
dc.format.mimetypeapplication/pdf
dc.identifierdoi:10.15781/T2R786540
dc.identifier.urihttp://hdl.handle.net/2152/62908
dc.language.isoen
dc.subjectKorat API
dc.subjectConstraint solving problem
dc.titleKorat-API : an API for building constraint solving problems for Korat
dc.typeThesis
dc.type.materialtext
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

Access full-text files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
ALRMAIH-THESIS-2017.pdf
Size:
3.48 MB
Format:
Adobe Portable Document Format

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
LICENSE.txt
Size:
1.84 KB
Format:
Plain Text
Description: