An evolutionary approach for analyzing Alloy specifications (Conference Paper) | NSF PAGES

skip to main content

Citation Details

An evolutionary approach for analyzing Alloy specifications

Award ID(s):: 1755890 1901543 1745775

NSF-PAR ID:: 10079768

Author(s) / Creator(s):: Wang, Jianghao; Bagheri, Hamid; Cohen, Myra B.

Date Published:: 2018-01-01

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

Page Range / eLocation ID:: 820 to 825

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
https://doi.org/10.1145/3238147.3240468