Showing 1–20 of 70 results
/ Date/ Name
Feb 28, 2020Metamorphic Testing: A New Approach for Generating Next Test CasesOct 13, 2018Analyzing and Disentangling Interleaved Interrupt-driven IoT ProgramsMar 31, 2024Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program VerificationJul 16, 2023Programming by Example Made EasyApr 24, 2023Is ChatGPT the Ultimate Programming Assistant -- How far is it?Apr 17, 2023A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program RepairFeb 24, 2021Hero: On the Chaos When PATH Meets ModulesNov 24, 2016DroidLeaks: Benchmarking Resource Leak Bugs for Android ApplicationsJun 10, 2024JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language ModelsJul 17, 2017An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program RepairFeb 12, 2026ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and RepairOct 12, 2025Understanding and Bridging the Planner-Coder Gap: A Systematic Study on the Robustness of Multi-Agent Systems for Code GenerationNov 26, 2025Multi-Agent Systems for Dataset Adaptation in Software Engineering: Capabilities, Limitations, and Future DirectionsAug 28, 2024MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic TestingApr 2, 2026Can Large Language Models Model Programs Formally?May 4, 2022DeepFD: Automated Fault Diagnosis and Localization for Deep Learning ProgramsDec 3, 2020SemMT: A Semantic-based Testing Approach for Machine Translation SystemsSep 6, 2019Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic RelationsSep 1, 2021Characterizing and Detecting Configuration Compatibility Issues in Android AppsJan 14, 2025How Far are App Secrets from Being Stolen? A Case Study on Android