Return to search

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

Advances 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. / text

Identiferoai:union.ndltd.org:UTEXAS/oai:repositories.lib.utexas.edu:2152/ETD-UT-2009-12-700
Date21 September 2010
CreatorsNarayanan, Vidya Priyadarshini
ContributorsKhurshid, Sarfraz
Source SetsUniversity of Texas
LanguageEnglish
Detected LanguageEnglish
Typethesis
Formatapplication/pdf

Page generated in 0.0016 seconds