Bounded exhaustive search of alloy specification repairs SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 30 | 2021 |
SLING: using dynamic analysis to infer program invariants in separation logic TC Le, G Zheng, TV Nguyen Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 29 | 2019 |
Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. G Zheng, H Bagheri, G Rothermel, J Wang FASE, 29-52, 2020 | 15 | 2020 |
Atr: Template-based repair for alloy specifications G Zheng, TV Nguyen, SG Brida, G Regis, N Aguirre, MF Frias, H Bagheri Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 14 | 2022 |
Flack: Counterexample-guided fault localization for alloy models G Zheng, TV Nguyen, SG Brida, G Regis, MF Frias, N Aguirre, H Bagheri 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 14 | 2021 |
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications S Gutiérrez Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, ... Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 7 | 2022 |
Automatic data structure repair using separation logic G Zheng, QL Le, TV Nguyen, QS Phan ACM SIGSOFT Software Engineering Notes, 2018 | 7 | 2018 |
BeAFix: an automated repair tool for faulty alloy models SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 3 | 2021 |
Debugging declarative models in Alloy G Zheng, H Bagheri, TV Nguyen 2020 IEEE International Conference on Software Maintenance and Evolution …, 2020 | 2 | 2020 |
Systems, methods, and media for fault localization in declarative specification languages H Bagheri, T Nguyen, G Zheng US Patent App. 17/887,827, 2023 | | 2023 |
Ensure Correctness for Imperative and Declarative Programs G Zheng The University of Nebraska-Lincoln, 2022 | | 2022 |
FLACK: localizing faults in alloy models G Zheng, TV Nguyen, SG Brida, G Regis, M Frias, N Aguirre, H Bagheri 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | | 2021 |
Artifact of bounded exhaustive search of alloy specification repairs SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | | 2021 |
Artifact of'FLACK: counterexample-guided fault localization for alloy models' G Zheng, TV Nguyen, SG Brida, G Regis, MF Frias, N Aguirre, H Bagheri 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | | 2021 |
A Study on Automated Mobile Testing G Zheng | | |