Intelligent Systems Software Lab
Intelligent Systems Software Lab
News
People
Publications
Projects
Events
Awards
Join us
Contact
UPBEAT: Test Input Checks of Q# Quantum Libraries
Tianming Hu
,
Guixin Ye
,
Zhanyong Tang
,
Shin Hwei Tan
,
Huanting Wang
,
Meng Li
,
Zheng Wang
November 3030
PDF
Code
Dataset
Type
Conference paper
Publication
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) (
Artifacts Evaluated!
)
Guixin Ye
Visiting student
Zhanyong Tang
Visiting scholar
Huanting Wang
Startup Founder
Startup founder working on machine learning for software security and code optimisation.
Zheng Wang
Professor of Intelligent Software Technology
Cite
×