Follow
Guolong Zheng
Guolong Zheng
Verified email at cse.unl.edu
Title
Cited by
Cited by
Year
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
292019
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
282021
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
142021
Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic.
G Zheng, H Bagheri, G Rothermel, J Wang
FASE, 29-52, 2020
142020
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
122022
Automatic data structure repair using separation logic
G Zheng, QL Le, TV Nguyen, QS Phan
ACM SIGSOFT Software Engineering Notes, 2018
72018
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
52022
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
32021
Debugging declarative models in Alloy
G Zheng, H Bagheri, TV Nguyen
2020 IEEE International Conference on Software Maintenance and Evolution …, 2020
22020
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
The system can't perform the operation now. Try again later.
Articles 1–15