• Sign in
  • Sign up
conf.researchr.org / Shaowei Cai
  • 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
xWed 16 Jul 01:27
using conf.researchr.org (v1.69.1)
Support page
Sign Up