Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints

Simple item page
dc.contributor.advisorKhurshid, Sarfrazen
dc.contributor.committeeMemberPerry, Dewayne E.en
dc.creatorNarayanan, Vidya Priyadarshinien
dc.date.accessioned2010-09-21T14:47:52Zen
dc.date.accessioned2010-09-21T14:47:58Zen
dc.date.accessioned2017-05-11T22:20:14Z
dc.date.available2010-09-21T14:47:52Zen
dc.date.available2010-09-21T14:47:58Zen
dc.date.available2017-05-11T22:20:14Z
dc.date.issued2009-12en
dc.date.submittedDecember 2009en
dc.date.updated2010-09-21T14:47:58Zen
dc.descriptiontexten
dc.description.abstractAdvances in constraint solving and increases in processing power have enabled new approaches for automating specification-based testing. However, writing specifications and scaling techniques that utilize them remain challenging. We introduce Milao -- a novel framework for mixed imperative and declarative formulation and solving of structural constraints -- which addresses both these challenges. One, Milao introduces a mixed style for writing specifications using a combination of declarative and imperative styles, which provides flexibility in specification formulation and reduces its burden on the user. Two, it introduces a mixed technique for solving constraints using a combination of solvers in synergy. As enabling technologies, the Alloy tool-set and the Java PathFinder model checker are used. Initial experiments witness the benefits of our framework.en
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttp://hdl.handle.net/2152/ETD-UT-2009-12-700en
dc.language.isoengen
dc.subjectSpecification-based testingen
dc.subjectConstraint solvingen
dc.titleMilao : a novel framework for mixed imperative and declarative formulation and solving of structural constraintsen
dc.type.genrethesisen

Files

Collections

University of Texas at Austin