Concepedia

Ziyu Cui

ZC

Statistics

Publications

3

Citations

64

H-Index

3

Active since

2022

Affiliations

State Key Laboratory of Computer Science(Current)

Institute of Software

Nanjing University of Chinese Medicine

Chinese Academy of Sciences

University of Chinese Academy of Sciences

Ziyu Cui is an author at State Key Laboratory of Computer Science specializing in software testing, computer science, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsData ManagementComputer ScienceSoftware TestingSoftware AnalysisFormal VerificationData ScienceData Security

Publications per year

2022–2023

3

Publications

3

Testing Database Systems via Differential Query Execution

Jiansen Song, Wensheng Dou, Ziyu Cui et al. · 2023 · 23 citations

Relational Database, Engineering, Verification +22

Differentially Testing Database Transactions for Fun and Profit

Ziyu Cui, Wensheng Dou, Qianwang Dai et al. · 2022 · 21 citations · Full text

Engineering, Verification, Transactional System +21

Detecting Isolation Bugs via Transaction Oracle Construction

Wensheng Dou, Ziyu Cui, Qianwang Dai et al. · 2023 · 20 citations

Software Maintenance, Engineering, Verification +19

1–3 of 3