Cited By
View all- Najvani SAjoudanian S(2024)Automatic Specification and Analysis of Software Reliability Using Alloy: Selecting the Best Use Case Scenario in Terms of ReliabilityInternational Journal of Reliability, Quality and Safety Engineering10.1142/S021853932450016531:04Online publication date: 27-Jun-2024
- Choi SRajan H(2020)Consolidation: a technique for improving permissiveness of human-machine interfacesCompanion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity10.1145/3426430.3428133(22-24)Online publication date: 15-Nov-2020
- Barman SBodik RChandra STorlak EBhattacharya ACuller DMurphy GJr. G(2015)Toward tool support for interactive synthesis2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)10.1145/2814228.2814235(121-136)Online publication date: 21-Oct-2015
- Show More Cited By