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
172019
Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic.
G Zheng, H Bagheri, G Rothermel, J Wang
FASE, 29-52, 2020
102020
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
92021
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
92021
Automatic data structure repair using separation logic
G Zheng, QL Le, TV Nguyen, QS Phan
ACM SIGSOFT Software Engineering Notes, 2018
42018
Bounded exhaustive search of alloy specification repairs
S Gutiérrez Brida, G Regis, G Zheng, H Bagher, TV Nguyen, N Aguirre, ...
22021
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
12022
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
12021
Debugging declarative models in Alloy
G Zheng, H Bagheri, TV Nguyen
2020 IEEE International Conference on Software Maintenance and Evolution …, 2020
12020
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias
2022
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