Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shaowei Cai
conf.researchr.org general profile
ESEC/FSE 2020 profile
ESEC/FSE 2022 profile
ESEC/FSE 2023 profile
ICSE 2021 profile
ICSE 2024 profile
POPL 2024 profile
Not registered as user
Name:
Shaowei Cai
Country:
China
Affiliation:
Institute of Software at Chinese Academy of Sciences
Contributions
2024
ICSE
Author of Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory within the Research Track-track
VMCAI
Author of Efficient Local Search for Nonlinear Real Arithmetic within the VMCAI 2024-track
2023
ESEC/FSE
Author of [Remote] CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays within the Research Papers-track
2022
ESEC/FSE
Author of SamplingCA: Effective and Efficient Sampling-Based Pairwise Testing for Highly Configurable Software Systems within the Research Papers-track
2021
ICSE
Author of FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation within the DEMO - Demonstrations-track
Author of AutoCCAG: An Automated Approach to Constrained Covering Array Generation within the Technical Track-track
2020
ESEC/FSE
Author of Efficient Incident Identification from Multi-dimensional Issue Reports via Meta-heuristic Search within the Research Papers-track
Share
x
Wed 16 Jul 01:27