A study on prompt design, advantages and limitations of ChatGPT for deep learning program repair

Article

DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation

Article

HGAFA: Heterogeneous Graph Attention-based Featureless Aggregation for IoC Joint Identification

Article

CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution

Conference paper

From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

Conference paper

ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation

Conference paper

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

SDEFL: A Lightweight Fault Detection and Localization Method for Deep Neural Networks

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