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
112019
Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic.
G Zheng, H Bagheri, G Rothermel, J Wang
FASE, 29-52, 2020
62020
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
32021
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
22021
Automatic data structure repair using separation logic
G Zheng, QL Le, TV Nguyen, QS Phan
ACM SIGSOFT Software Engineering Notes, 2018
22018
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
Debugging Declarative Models in Alloy
G Zheng, H Bagheri, TV Nguyen
2020 IEEE International Conference on Software Maintenance and Evolution …, 2020
2020
BeAFix: An Automated Repair Tool for Faulty Alloy Models
SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias
A Study on Automated Mobile Testing
G Zheng
The system can't perform the operation now. Try again later.
Articles 1–10