Cited By
View all- Zheng GNguyen TBrida SRegis GFrias MAguirre NBagheri H(2021)flackProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00065(637-648)Online publication date: 22-May-2021
- Wang JBagheri HCohen MHuchard MKästner CFraser G(2018)An evolutionary approach for analyzing Alloy specificationsProceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering10.1145/3238147.3240468(820-825)Online publication date: 3-Sep-2018
- Bagheri HMalek SZimmermann TCleland-Huang JSu Z(2016)Titanium: efficient analysis of evolving alloy specificationsProceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2950290.2950337(27-38)Online publication date: 1-Nov-2016
- Show More Cited By