Qiyuan Zhao (赵启元)
Ph.D. student at VERSE lab, School of Computing, National University of Singapore
I have worked in the general field of programming languages, formal methods and software engineering. That said, I decide to focus my research in my Ph.D. on programming language theory, and formal verification (using automatic/interactive theorem provers).
Wlc1R05VMVVRWGhQUlVKdllqTlNkRmxYYkhOTWJVNTJZbEU5UFE9PQ==
(lambda f: lambda x: f (f (f (x))))(base64.b64decode)
on
the encoding above in Python3Time format: YYYY.MM.DD
(ESEC/FSE’23) CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays [ Preprint ][ Github repo ]
Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu
(ESEC/FSE’22) SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems [ Preprint ][ Github repo ]
Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu
Coming soon …
Note: I decide to update this section periodically, probably every 1-2 weeks?
Useful things (can be publicly found on the Internet):
The (soft) things-one-should-know-before-or-during-one’s-PhD series:
Powered by Flask & nginx & gunicorn & pandoc
Last updated: 2023.10.18