Sign in
Qiyuan Zhao
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 7
Top Topics
Force Field
Search Algorithm
Pairwise
Software Systems
Top Venues
J. Chem. Inf. Model.
ESEC/SIGSOFT FSE
CPP
SPLC (A)
</>
Publications
</>
Qiyuan Zhao
,
George Pîrlea
,
Zhendong Ang
,
Umang Mathur
,
Ilya Sergey
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic.
CPP
(2024)
Chuan Luo
,
Jianping Song
,
Qiyuan Zhao
,
Yibei Li
,
Shaowei Cai
,
Chunming Hu
Generating Pairwise Covering Arrays for Highly Configurable Software Systems.
SPLC (A)
(2023)
Qiyuan Zhao
,
Chuan Luo
,
Shaowei Cai
,
Wei Wu
,
Jinkun Lin
,
Hongyu Zhang
,
Chunming Hu
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays.
ESEC/SIGSOFT FSE
(2023)
Chuan Luo
,
Qiyuan Zhao
,
Shaowei Cai
,
Hongyu Zhang
,
Chunming Hu
SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems.
ESEC/SIGSOFT FSE
(2022)
Qiyuan Zhao
,
Nicolae C. Iovanac
,
Brett M. Savoie
Transferable Ring Corrections for Predicting Enthalpy of Formation of Cyclic Compounds.
J. Chem. Inf. Model.
61 (6) (2021)
Bumjoon Seo
,
Zih-Yu Lin
,
Qiyuan Zhao
,
Michael A. Webb
,
Brett M. Savoie
Topology Automated Force-Field Interactions (TAFFI): A Framework for Developing Transferable Force Fields.
J. Chem. Inf. Model.
61 (10) (2021)
Qiyuan Zhao
,
Brett M. Savoie
Self-Consistent Component Increment Theory for Predicting Enthalpy of Formation.
J. Chem. Inf. Model.
60 (4) (2020)