Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification

Conference paper

Fuzzing for Stateful Protocol Implementations: Are We There Yet?

Conference paper

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models

Conference paper

MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing

Conference paper

Reproducibility Companion Paper: Recommendation of Mix-and-Match Clothing by Modeling Indirect Personal Compatibility

Conference paper

Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation

Conference paper

COMET: Coverage-guided Model Generation For Deep Learning Library Testing

Article

Testing Coreference Resolution Systems without Labeled Test Sets

Conference paper

Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems

Conference paper

SemMT: A Semantic-Based Testing Approach for Machine Translation Systems

Article

DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs

Conference paper

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix

Conference paper

ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection

Conference paper

TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair

Conference paper

FlashRegex: Deducing Anti-ReDoS Regexes from Examples

Conference paper

FlashSchema: Achieving high quality XML schemas with powerful inference algorithms and large-scale schema data

Conference paper

A learning-based framework for automatic parameterized verification

Conference paper

Learning k-occurrence regular expressions with interleaving

Conference paper

An automatic parameterized verification of FLASH cache coherence protocol

Conference paper

L-CMP: An automatic learning-based parameterized verification tool

Conference paper