Guolong Zheng

According to our database, Guolong Zheng authored at least 13 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Capture and Prediction of Rainfall-Induced Landslide Warning Signals Using an Attention-Based Temporal Convolutional Neural Network and Entropy Weight Methods.

Di Zhang, Kai Wei, Yi Yao, Jiacheng Yang, Guolong Zheng, Qing Li

Sensors, 2022

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

ATR: template-based repair for Alloy specifications.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

FLACK: Localizing Faults in Alloy Models.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

BeAFix: An Automated Repair Tool for Faulty Alloy Models.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

FLACK: Counterexample-Guided Fault Localization for Alloy Models.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Bounded Exhaustive Search of Alloy Specification Repairs.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Debugging Declarative Models in Alloy.

Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic.

Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

SLING: using dynamic analysis to infer program invariants in separation logic.

Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Automatic Data Structure Repair usingSeparation Logic.

Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan

ACM SIGSOFT Softw. Eng. Notes, 2018