Cited By
View all- Cornejo CRegis GAguirre NFrias M(2023)A Study of the Electrum and DynAlloy Dynamic Behavior NotationsIEEE Transactions on Software Engineering10.1109/TSE.2023.332062549:11(4946-4963)Online publication date: 1-Nov-2023
- Zheng GNguyen TBrida SRegis GAguirre NFrias MBagheri HRyu SSmaragdakis Y(2022)ATR: template-based repair for Alloy specificationsProceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3533767.3534369(666-677)Online publication date: 18-Jul-2022
- Wang RLiu SSato Y(2021)SIT-SE: A Specification-Based Incremental Testing Method With Symbolic ExecutionIEEE Transactions on Reliability10.1109/TR.2021.307871470:3(1053-1070)Online publication date: Sep-2021
- Show More Cited By