Cited By
View all- Sullivan A(2021)HawkEye: User-Guided Enumeration of Scenarios2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE52982.2021.00064(569-578)Online publication date: Oct-2021
- 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 KSullivan AMarinov DKhurshid S(2020)Fault Localization for Declarative Models in Alloy2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE5003.2020.00044(391-402)Online publication date: Oct-2020
- Show More Cited By