ASE 2023
209 papers
- A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT
- A Comparative Study of Transformer-Based Neural Text Representation Techniques on Bug Triaging
- A Comprehensive Study on Code Clones in Automated Driving Software
- A Large-Scale Empirical Study on Semantic Versioning in Golang Ecosystem
- A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models
- A Needle is an Outlier in a Haystack: Hunting Malicious PyPI Packages with Code Clustering
- ACWRecommender: A Tool for Validating Actionable Warnings with Weak Supervision
- ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers
- ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems
- Adaptive REST API Testing with Reinforcement Learning
- An Automated and Flexible Multilingual Bug-Fix Dataset Construction System
- An Empirical Study of Malicious Code In PyPI Ecosystem
- An Empirical Study of Parameter-Efficient Fine-Tuning Methods for Pre-Trained Code Models
- An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair
- An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge
- An Image is Worth a Thousand Toxic Words: A Metamorphic Testing Framework for Content Moderation Software
- An Industrial Practice for Securing Android Apps in the Banking Domain
- An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering
- An Intentional Forgetting-Driven Self-Healing Method for Deep Reinforcement Learning Systems
- ArduinoProg: Towards Automating Arduino Programming
- Are They All Good? Studying Practitioners' Expectations on the Readability of Log Messages
- Are We Ready to Embrace Generative AI for Software Q&A?
- Assessing the Impact of Refactoring Energy-Inefficient Code Patterns on Software Sustainability: An Industry Case Study
- AutoConf: Automated Configuration of Unsupervised Learning Systems Using Metamorphic Testing and Bayesian Optimization
- AutoDebloater: Automated Android App Debloating
- AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection
- Automated Fixing of Web UI Tests via Iterative Element Matching
- Automated Software Entity Matching Between Successive Versions
- Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis
- Automating Bias Testing of LLMs
- BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++
- Better Patching Using LLM Prompting, via Self-Consistency
- Bridging the Gap Between Academia and Industry in Machine Learning Software Defect Prediction: Thirteen Considerations
- BugMiner: Automating Precise Bug Dataset Construction by Code Evolution History Mining
- Bus Factor Explorer
- CAT-LM Training Language Models on Aligned Code And Tests
- COMEX: A Tool for Generating Customized Source Code Representations
- CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification
- Causality-Aided Trade-Off Analysis for Machine Learning Fairness
- Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks
- CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space
- Challenges of Accurate and Efficient AutoML
- Characterizing Flaky Tests in Node.js Applications
- CiD4HMOS: A Solution to HarmonyOS Compatibility Issues
- CoMSA: A Modeling-Driven Sampling Approach for Configuration Performance Testing
- Code Difference Guided Adversarial Example Generation for Deep Code Models
- CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation
- Coding and Debugging by Separating Secret Code Toward Secure Remote Development
- Compiler Auto-Tuning via Critical Flag Selection
- Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues
- ConfTainter: Static Taint Analysis For Configuration Options
- Contextuality of Code Representation Learning
- Contrastive Learning for API Aspect Analysis
- DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems
- DeFiWarder: Protecting DeFi Apps from Token Leaking Vulnerabilities
- DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph Learning
- Delving into Commit-Issue Correlation to Enhance Commit Message Generation Models
- Demystifying Template-Based Invariant Generation for Bit-Vector Programs
- Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count
- Detecting Smart Home Automation Application Interferences with Domain Knowledge
- Detection of Java Basic Thread Misuses Based on Static Event Analysis
- Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases
- DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers
- Dynamic Graph Neural Networks-Based Alert Link Prediction for Online Service Systems
- EALink: An Efficient and Accurate Pre-Trained Framework for Issue-Commit Link Recovery
- ESRO: Experience Assisted Service Reliability against Outages
- EXPRESS 2.0: An Intelligent Service Management Framework for AIoT Systems in the Edge
- Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration
- Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation
- EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
- Enhancing Code Safety in Quantum Intermediate Representation
- Enhancing Malware Detection for Android Apps: Detecting Fine-Granularity Malicious Components
- Evolve the Model Universe of a System Universe
- Expediting Neural Network Verification via Network Reduction
- ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems
- FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers
- Fast and Reliable Program Synthesis via User Interaction
- Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition
- Fine-Grained In-Context Permission Classification for Android Apps Using Control-Flow Graph Embedding
- Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks
- Fork Entropy: Assessing the Diversity of Open Source Software Projects' Forks
- From Commit Message Generation to History-Aware Commit Message Completion
- From Misuse to Mastery: Enhancing Code Generation with Knowledge-Driven AI Chaining
- Function-Level Vulnerability Detection Through Fusing Multi-Modal Knowledge
- Fuzzing for CPS Mutation Testing
- Gamma: Revisiting Template-Based Automated Program Repair Via Mask Prediction
- Generating Variable Explanations via Zero-shot Prompt Learning
- Generative Model-Based Testing on Decision-Making Policies
- Generative Type Inference for Python
- Government Mobile Apps: Analysing Citizen Feedback via App Reviews
- Green AI Quotient: Assessing Greenness of AI-based software and the way forward
- HOBAT: Batch Verification for Homogeneous Structural Neural Networks
- HexT5: Unified Pre-Training for Stripped Binary Code Information Inference
- Hot Patching Hot Fixes: Reflection and Perspectives
- How Android Apps Break the Data Minimization Principle: An Empirical Study
- How to Train Your Neural Bug Detector: Artificial vs Real Bugs
- ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps
- Identify and Update Test Cases When Production Code Changes: A Transformer-Based Approach
- Improving Code Extraction from Coding Screencasts Using a Code-Aware Encoder-Decoder Model
- Improving Design Reviews at Google
- Increasing the Responsiveness of Web Applications by Introducing Lazy Loading
- InfeRE: Step-by-Step Regex Generation via Chain of Inference
- Information Retrieval-Based Fault Localization for Concurrent Programs
- LEAP: Efficient and Automated Test Method for NLP Software
- LIV: Loop-Invariant Validation Using Straight-Line Programs
- Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications
- Learning to Locate and Describe Vulnerabilities
- Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain
- LiSum: Open Source Software License Summarization with Multi-Task Learning
- Live Programming for Finite Model Finders
- Log Parsing: How Far Can ChatGPT Go?
- LogOnline: A Semi-Supervised Log-Based Anomaly Detector Aided with Online Learning Mechanism
- MELT: Mining Effective Lightweight Transformations from Pull Requests
- MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure
- MUT4SLX: Fast Mutant Generation for Simulink
- MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack
- Maat: Performance Metric Anomaly Anticipation for Cloud Services with Conditional Diffusion
- MalWuKong: Towards Fast, Accurate, and Multilingual Detection of Malicious Code Poisoning in OSS Supply Chains
- Merge Conflict Resolution: Classification or Generation?
- Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows
- Message from the Chairs: ASE 2023
- Minecraft: Automated Mining of Software Bug Fixes with Precise Code Context
- Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem
- Modeling Programmer Attention as Scanpath Prediction
- Mutation-based Fault Localization of Deep Neural Networks
- NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
- NaturalFuzz: Natural Input Generation for Big Data Analytics
- Neural SZZ Algorithm
- Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting
- On Automated Assistants for Software Development: The Role of LLMs
- On the Evaluation of Neural Code Translation: Taxonomy and Benchmark
- On-the-fly Improving Performance of Deep Code Models via Input Denoising
- Open Source Software Tools for Data Management and Deep Model Training Automation
- Optimizing Continuous Development by Detecting and Preventing Unnecessary Content Generation
- OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability
- PSMT: Satisfiability Modulo Theories Meets Probability Distribution
- PTDETECTOR: An Automated JavaScript Front-end Library Detector
- PURLTL: Mining LTL Specification from Imperfect Traces in Testing
- Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis
- Persisting and Reusing Results of Static Program Analyses on a Large Scale
- Personalized First Issue Recommender for Newcomers in Open Source Projects
- PhyFu: Fuzzing Modern Physics Simulation Engines
- Pluggable Type Inference for Free
- Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
- Potential Solutions to Challenges in C Program Repair: A Practical Perspective
- Precise Data-Driven Approximation for Program Analysis via Fuzzing
- PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types
- Predicting Compilation Resources for Adaptive Build in an Industrial Setting
- Prism: Revealing Hidden Functional Clusters from Massive Instances in Cloud Systems
- Provengo: A Tool Suite for Scenario Driven Model-Based Testing
- QuCAT: A Combinatorial Testing Tool for Quantum Software
- QuraTest: Integrating Quantum Specific Features in Quantum Program Testing
- REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes
- RJoules: An Energy Measurement Tool for R
- RPCover: Recovering gRPC Dependency in Multilingual Projects
- Repeated Builds During Code Review: An Empirical Study of the OpenStack Community
- ReuNify: A Step Towards Whole Program Analysis for React Native Android Apps
- Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential Testing
- Revisiting and Improving Retrieval-Augmented Deep Assertion Generation
- Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers
- RocketHA: A High Availability Design Paradigm for Distributed Log-Based Storage System
- SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning
- SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices
- SMT Solver Validation Empowered by Large Pre-Trained Language Models
- Scalable Industrial Control System Analysis via XAI-Based Gray-Box Fuzzing
- Scene-Driven Exploration and GUI Modeling for Android Apps
- Semantic Data Augmentation for Deep Learning Testing Using Generative AI
- Smart Prompt Advisor: Multi-Objective Prompt Framework for Consistency and Best Practices
- SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
- SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding
- Software Engineering Using Autonomous Agents: Are We There Yet?
- Software Entity Recognition with Noise-Robust Learning
- SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing
- Symbolic Fixpoint Algorithms for Logical LTL Games
- Symbolic Verification of Fuzzy Logic Models
- Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks
- TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software
- The Devil is in the Tails: How Long-Tailed Code Distributions Impact Large Language Models
- The MAP Metric in Information Retrieval Fault Localization
- The Plastic Surgery Hypothesis in the Era of Large Language Models
- Thunderkaller: Profiling and Improving the Performance of Syzkaller
- To Share, or Not to Share: Exploring Test-Case Reusability in Fork Ecosystems
- Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We?
- Towards Autonomous Testing Agents via Conversational Large Language Models
- Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
- Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model Switching
- Towards a Formal Framework for Normative Requirements Elicitation
- Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software Development
- Twin Graph-Based Anomaly Detection via Attentive Multi-Modal Learning for Microservice System
- Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis
- Understanding and Enhancing Issue Prioritization in GitHub
- Understanding and Remediating Open-Source License Incompatibilities in the PyPI Ecosystem
- Unifying Defect Prediction, Categorization, and Repair by Multi-Task Deep Learning
- Using Deep Learning to Automatically Improve Code Readability
- VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning
- VD-Guard: DMA Guided Fuzzing for Hypervisor Virtual Device
- VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage
- Vicious Cycles in Distributed Software Systems
- Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet?
- WADIFF: A Differential Testing Framework for WebAssembly Runtimes
- Wemint:Tainting Sensitive Data Leaks in WeChat Mini-Programs
- What Makes Good In-Context Demonstrations for Code Intelligence Tasks with LLMs?
- When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection
- Where to Go Now? Finding Alternatives for Declining Packages in the npm Ecosystem
- Who is the Real Hero? Measuring Developer Contribution via Multi-Dimensional Data Integration
- ZC3: Zero-Shot Cross-Language Code Clone Detection
- Zero-Config Fuzzing for Microservices
- cegar-pt: A Tool for Abstraction by Program Transformation
- iASTMapper: An Iterative Similarity-Based Abstract Syntax Tree Mapping Algorithm