An evolutionary approach for analyzing Alloy specifications (Journal Article) | NSF PAGES

skip to main content

Citation Details

An evolutionary approach for analyzing Alloy specifications

Authors:: Wang, Jianghao; Bagheri, Hamid; Cohen, Myra B.

Award ID(s):: 1755890 1901543 1745775

Publication Date:: 2018-01-01

NSF-PAR ID:: 10079768

Journal Name:: Proceedings of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18)

Page Range or eLocation-ID:: 820 to 825

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Publisher's Version of Record
https://doi.org/10.1145/3238147.3240468