Paper Symposium

CODAMOSA:Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models [ICSE 2023]
May 30, 2023
APIzation:Generating Reusable APIs from StackOverflow Code Snippets [ASE 2021]
Mar 21, 2023
DOI
Understanding, Detecting and Localizing Partial Failures in Large System Software [NSDI 2020]
Dec 13, 2022
Debugging Inputs [ICSE 2020]
Oct 18, 2022
DOI
MEMLOCK: Memory Usage Guided Fuzzing [ICSE 2020]
May 24, 2022
DOI
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing [ESEC/FSE 2020]
Mar 29, 2022
DOI
Validating SMT Solvers via Semantic Fusion [PLDI 2020]
Dec 22, 2021
DOI
Finding and Understanding Bugs in C Compilers [PLDI 2011]
Nov 10, 2021
DOI