Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for subject:(MuAlloy). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Texas – Austin

1. Wang, Kaiyuan. MuAlloy : an automated mutation system for alloy.

Degree: MSin Engineering, Electrical and Computer Engineering, 2015, University of Texas – Austin

Mutation is a powerful technique that researchers have studied for several decades in the context of imperative code. For example, mutation testing is commonly considered a '"gold standard"' for test suite quality. Mutation in the context of declarative languages is a less studied problem. This thesis introduces a foundation for mutation-driven analyses for Alloy, a first-order, declarative language based on relations. Specifically, we introduce a family of mutation operators for Alloy models and define algorithms for applying the operators on different parts of the models. We embody these operators and algorithms in our prototype tool MuAlloy that provides a GUI-based front-end for customizing the application of mutation operators. To demonstrate the potential of our approach, we illustrate the use of MuAlloy in two application scenarios: (1) mutation testing for Alloy (in the spirit of traditional mutation testing for imperative languages); and (2) program repair for Alloy using mutation. Advisors/Committee Members: Khurshid, Sarfraz (advisor), Perry, Dewayne E. (committee member).

Subjects/Keywords: MuAlloy; Mutation; Alloy; Mutation testing; Repair

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, K. (2015). MuAlloy : an automated mutation system for alloy. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/31865

Chicago Manual of Style (16th Edition):

Wang, Kaiyuan. “MuAlloy : an automated mutation system for alloy.” 2015. Masters Thesis, University of Texas – Austin. Accessed April 12, 2021. http://hdl.handle.net/2152/31865.

MLA Handbook (7th Edition):

Wang, Kaiyuan. “MuAlloy : an automated mutation system for alloy.” 2015. Web. 12 Apr 2021.

Vancouver:

Wang K. MuAlloy : an automated mutation system for alloy. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Apr 12]. Available from: http://hdl.handle.net/2152/31865.

Council of Science Editors:

Wang K. MuAlloy : an automated mutation system for alloy. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/31865

.