Chengyu Zhang
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA3 editions2020–2024
on a stage with
who talks about the same things
- Zhendong Su25 talks
- Dominik Winterer3 talks
- Shuai Wang18 talks
- Shaohua Li5 talks
- Chandrakana Nandi9 talks
- Zhe Zhou13 talks
| title | conference | date |
|---|---|---|
| SMT2Test: From SMT Formulas to Effective Test Cases | OOPSLA 2024 | 2024-10-20 |
SMT2Test transforms SMT formulas into executable programs (Dafny and C via an intermediate representation) and encodes satisfiability as a reachability… | ||
| Generative Type-Aware Mutation for Testing SMT Solvers | OOPSLA 2021 | 2021-10-17 |
Generative Type-Aware Mutation implements expression mutation using SMT-LIB operator signatures to produce grammatically correct but larger mutants, realized… | ||
| On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers | OOPSLA 2020 | 2020-11-15 |
Proposes type-aware operator mutation: randomly replace operators with others of the same SMT-LIB type, chain mutations, and cross-check Z3 vs CVC4 to spot… | ||
| nothing matches | ||