Jialiang Chang

According to our database, Jialiang Chang authored at least 6 papers between 2016 and 2021.

Collaborative distances:

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

2021

sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning.

Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2019

sCompile: Critical Path Identification and Analysis for Smart Contracts.

Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang

Proceedings of the Formal Methods and Software Engineering, 2019

2018

sCompile: Critical Path Identification and Analysis for Smart Contracts.

Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Zijiang Yang

CoRR, 2018

2017

Memory Distance Measurement for Concurrent Programs.

Hao Li, Jialiang Chang, Zijiang Yang, Steve Carr

Proceedings of the Languages and Compilers for Parallel Computing, 2017

Automated Testing of Definition-Use Data Flow for Multithreaded Programs.

Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

GUICat: GUI testing as a service.

Lin Cheng, Jialiang Chang, Zijiang Yang, Chao Wang

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016