Mingyu Gao

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Symbolic Execution

Computational Power

Probabilistic Reasoning

Test Data Generation

Top Venues

Publications

Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan
Probabilistic Concurrency Testing for Weak Memory Programs. ASPLOS (2) (2023)