Guolong Zheng

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 16

Top Topics

Exhaustive Search

Abdominal Aortic Aneurysm

Malicious Behavior

Top Venues

ICSE (Companion Volume)

Publications

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
ATR: template-based repair for Alloy specifications. ISSTA (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. ASE (2022)
Di Zhang, Kai Wei, Yi Yao, Jiacheng Yang, Guolong Zheng, Qing Li
Capture and Prediction of Rainfall-Induced Landslide Warning Signals Using an Attention-Based Temporal Convolutional Neural Network and Entropy Weight Methods. Sensors 22 (16) (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
BeAFix: An Automated Repair Tool for Faulty Alloy Models. ASE (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. ICSE (Companion Volume) (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. CoRR (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Localizing Faults in Alloy Models. ASE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. CoRR (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. ICSE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (Companion Volume) (2021)
Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen
Debugging Declarative Models in Alloy. ICSME (2020)
Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang
Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. FASE (2020)
Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic. CoRR (2019)
Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
SLING: using dynamic analysis to infer program invariants in separation logic. PLDI (2019)
Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan
Automatic Data Structure Repair usingSeparation Logic. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)