ASE 2021
166 papers
- "What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis
- A Compositional Deadlock Detector for Android Java
- A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing
- A Mocktail of Source Code Representations
- A Prediction Model for Software Requirements Change Impact
- A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base
- AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems
- API Compatibility Issue Detection, Testing and Analysis for Android Apps
- APIzation: Generating Reusable APIs from StackOverflow Code Snippets
- ASE: A Value Set Decision Procedure for Symbolic Execution
- AST-Transformer: Encoding Abstract Syntax Trees Efficiently for Code Summarization
- Access Control Tree for Testing and Learning
- Adaptation2: Adapting Specification Learners in Assured Adaptive Systems
- Adversarial Attacks to API Recommender Systems: Time to Wake Up and Smell the Coffeeƒ
- An Automated Pipeline for Privacy Leak Analysis of Android Applications
- An Empirical Study of Bugs in WebAssembly Compilers
- An Empirical Study on Obsolete Issue Reports
- Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations
- Automated Approach for System-level Testing of Unmanned Aerial Systems
- Automated Code Refactoring upon Database-Schema Changes in Web Applications
- Automated Repair of Size-Based Inaccessibility Issues in Mobile Applications
- Automated Testing for Machine Translation via Constituency Invariance
- Automated Verification of Go Programs via Bounded Model Checking
- Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning
- Automatically Annotating Sentences for Task-specific Bug Report Summarization
- Automatically Deciding on the Integration of Commits Based on Their Descriptions
- Automating Developer Chat Mining
- Automating User Notice Generation for Smart Contract Functions
- BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices
- BeAFix: An Automated Repair Tool for Faulty Alloy Models
- BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications
- Binary Code Similarity Detection
- Binary Diffing as a Network Alignment Problem via Belief Propagation
- Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
- Business Process Extraction Using Static Analysis
- Can Neural Clone Detection Generalize to Unseen Functionalitiesƒ
- Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
- Characterizing and Detecting Configuration Compatibility Issues in Android Apps
- CiFi: Versatile Analysis of Class and Field Immutability
- Context Debloating for Object-Sensitive Pointer Analysis
- CorbFuzz: Checking Browser Security Policies with Fuzzing
- Counterexample Guided Inductive Repair of Reactive Contracts
- Cross-Lingual Transfer Learning Framework for Program Analysis
- DEVIATE: A Deep Learning Variance Testing Framework
- DSInfoSearch: Supporting Experimentation Process of Data Scientists
- Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost
- Decoupling Server and Client Code Through Cloud-Native Domain-Specific Functions
- Deep GUI: Black-box GUI Input Generation with Deep Learning
- DeepCVA: Automated Commit-level Vulnerability Assessment with Deep Multi-task Learning
- DeepMemory: Model-based Memorization Analysis of Deep Neural Language Models
- DeepMetis: Augmenting a Deep Learning Test Set to Increase its Mutation Score
- Defeating Program Analysis Techniques via Ambiguous Translation
- Detecting Adversarial Samples with Graph-Guided Testing
- Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers
- Detecting TensorFlow Program Bugs in Real-World Industrial Environment
- Did You Do Your Homework? Raising Awareness on Software Fairness and Discrimination
- Distribution Models for Falsification and Verification of DNNs
- Dynamic Generation of Python Bindings for HPC Kernels
- EditSum: A Retrieve-and-Edit Framework for Source Code Summarization
- Effectively Analyzing Evolving Software with Differential Facts
- Efficient SMT-Based Model Checking for Signal Temporal Logic
- Efficient state synchronisation in model-based testing through reinforcement learning
- Empowering Web Applications with WebAssembly: Are We There Yet?
- End-to-End Automation of Feedback on Student Assembly Programs
- Evaluating Semantic Autocompletion of Business Processes with Domain Experts
- EvoMe: A Software Evolution Management Engine Based on Differential Factbase
- Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies
- Explainable AI for Software Engineering
- FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning
- FLACK: Localizing Faults in Alloy Models
- FRUGAL: Unlocking Semi-Supervised Learning for Software Analytics
- Faster Mutation Analysis with Fewer Processes and Smaller Overheads
- FinFuzzer: One Step Further in Fuzzing Fintech Systems
- Finding A Needle in a Haystack: Automated Mining of Silent Vulnerability Fixes
- Finding the Missing Piece: Permission Specification Analysis for Android NDK
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution
- FixMe: A GitHub Bot for Detecting and Monitoring On-Hold Self-Admitted Technical Debt
- Fuzzing Methods Recommendation Based on Feature Vectors
- Gas Estimation and Optimization for Smart Contracts on Ethereum
- GenTree: Inferring Configuration Interactions using Decision Trees
- Genetic Optimisation of C++ Applications
- Graph-based Incident Aggregation for Large-Scale Online Service Systems
- Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings
- How Can Subgroup Discovery Help AIOps?
- Human-in-the-Loop XAI-enabled Vulnerability Detection, Investigation, and Mitigation
- HyperGI: Automated Detection and Repair of Information Flow Leakage
- IFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware
- ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats
- Improving Configurability of Unit-level Continuous Fuzzing: An Industrial Case Study with SAP HANA
- Improving Mutation-Based Fault Localization with Plausible-code Generating Mutation Operators
- Improving Test Case Generation for REST APIs Through Hierarchical Clustering
- IncBL: Incremental Bug Localization
- Infrastructure in Code: Towards Developer-Friendly Cloud Applications
- InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing
- Intelligent Change Operators for Multi-Objective Refactoring
- Interactive Cross-language Code Retrieval with Auto-Encoders
- Is Historical Data an Appropriate Benchmark for Reviewer Recommendation Systems? : A Case Study of the Gerrit Community
- JSTAR: JavaScript Specification Type Analyzer using Refinement
- JTDog: a Gradle Plugin for Dynamic Test Smell Detection
- Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining
- Learning GraphQL Query Cost
- Learning Highly Recursive Input Grammars
- Learning Patterns in Configuration
- Learning-based Assistant for Data Migration of Enterprise Information Systems
- Lessons learned from hyper-parameter tuning for microservice candidate identification
- Leveraging Code Clones and Natural Language Processing for Log Statement Prediction
- Log Anomaly to Resolution: AI Based Proactive Incident Remediation
- Log-based Anomaly Detection Without Log Parsing
- Metamorphic Testing on Multi-module UAV Systems
- Mining Cross-Domain Apps for Software Evolution: A Feature-based Approach
- Modeling Team Dynamics for the Characterization and Prediction of Delays in User Stories
- Muskit: A Mutation Analysis Tool for Quantum Software Testing
- Nekara: Generalized Concurrency Testing
- On Multi-Modal Learning of Editing Source Code
- On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions
- Performance Testing for Cloud Computing with Dependent Data Bootstrapping
- Privacy as first-class requirements in software development: A socio-technical approach
- Program Synthesis with Algorithm Pseudocode Guidance
- Property-based Test for Part-of-Speech Tagging Tool
- PyExplainer: Explaining the Predictions of Just-In-Time Defect Models
- PyNose: A Test Smell Detector For Python
- Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions
- QDiff: Differential Testing of Quantum Software Stacks
- Quality analysis of mobile applications with special focus on security aspects
- Quito: a Coverage-Guided Test Generator for Quantum Programs
- REPFINDER: Finding Replacements for Missing APIs in Library Update
- RULF: Rust Library Fuzzing via API Dependency Graph Traversal
- Race Detection for Event-Driven Node.js Applications
- Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug Tossing Knowledge Graph
- Reducing Time-To-Fix For Fuzzer Bugs
- RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information
- Refactorings and Technical Debt in Docker Projects: An Empirical Study
- Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs
- Revisiting Textual Feature of Bug-Triage Approach
- Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching
- SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools
- SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses
- Scalable Fuzzing of Program Binaries with E9AFL
- Semi-automated Cross-Component Issue Management and Impact Analysis
- Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems
- Shaker: a Tool for Detecting More Flaky Tests Faster
- SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically
- Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code
- Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification
- Tackling Flaky Tests: Understanding the Problem and Providing Practical Solutions
- Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search
- Testing Your Question Answering Software via Asking Recursively
- Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code
- Towards Exploring the Limitations of Active Learning: An Empirical Study
- Towards Fluid Software Architectures: Bidirectional Human-AI Interaction
- Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing
- Towards a Serverless Java Runtime
- Towards the generation of machine learning defect reports
- Training Automated Test Oracles to Identify Semantic Bugs
- Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems
- UI Test Migration Across Mobile Platforms
- Understanding Code Fragments with Issue Reports
- Understanding and Detecting Performance Bugs in Markdown Compilers
- Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulnerability Descriptions
- Using Static Analysis to Address Microservice Architecture Reconstruction
- Using Version Control and Issue Tickets to detect Code Debt and Economical Cost
- VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks
- What do pre-trained code models know about code?
- Where to Start: Studying Type Annotation Practices in Python
- Why Do Developers Remove Lambda Expressions in Java?
- py2src: Towards the Automatic (and Reliable) Identification of Sources for PyPI Package