ASE 2020
158 papers
- A Deep Multitask Learning Approach for Requirements Discovery and Annotation from Open Forum
- A Framework for Automated Test Mocking of Mobile Apps
- A Hybrid Analysis to Detect Java Serialisation Vulnerabilities
- A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machines
- A Predictive Analysis for Detecting Deadlock in MPI Programs
- A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program
- A Unified Framework to Learn Program Semantics with Graph Neural Networks
- API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph
- Accelerating All-SAT Computation with Short Blocking Clauses
- AirMochi - A Tool for Remotely Controlling iOS Devices
- An Automated Assessment of Android Clipboards
- Anti-patterns for Java Automated Program Repair Tools
- Applying Learning Techniques to Oracle Synthesis
- Assessing and Restoring Reproducibility of Jupyter Notebooks
- Attend and Represent: A Novel View on Algorithm Selection for Software Verification
- Audee: Automated Testing for Deep Learning Frameworks
- Automated Generation of Client-Specific Backends Utilizing Existing Microservices and Architectural Knowledge
- Automated Implementation of Windows-related Security-Configuration Guides
- Automated Patch Correctness Assessment: How Far are We?
- Automated Third-Party Library Detection for Android Applications: Are We There Yet?
- Automatic Extraction of Cause-Effect-Relations from Requirements Artifacts
- Automatic Generation of IFTTT Mashup Infrastructures
- Automating Just-In-Time Comment Updating
- BUILDFAST: History-Aware Build Outcome Prediction for Fast Feedback and Reduced Cost in Continuous Integration
- BiLO-CPDP: Bi-Level Programming for Automated Model Discovery in Cross-Project Defect Prediction
- BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction
- Botsing, a Search-based Crash Reproduction Framework for Java
- Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis
- BugPecker: Locating Faulty Methods with Deep Learning on Revision Graphs
- CCGraph: a PDG-based code clone detector with approximate graph matching
- CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs
- Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness
- ChemTest: An Automated Software Testing Framework for an Emerging Paradigm
- Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
- CoFI: Consistency-Guided Fault Injection for Cloud Systems
- Code to Comment "Translation": Data, Metrics, Baselining & Evaluation
- Code-Based Vulnerability Detection in Node.js Applications: How far are we?
- Continuous Compliance
- Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts
- CrossPriv: User Privacy Preservation Model for Cross-Silo Federated Software
- DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests
- Defect Prediction Guided Search-Based Software Testing
- Demystifying Diehard Android Apps
- Demystifying Loops in Smart Contracts
- Detecting and Explaining Self-Admitted Technical Debts with Attention-based Neural Networks
- Discovering UI Display Issues with Visual Understanding
- Dynamic Algorithm Selection for SMT
- ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android
- Edge4Real: A Cost-Effective Edge Computing based Human Behaviour Recognition System for Human-Centric Software Engineering
- Edge4Sys: A Device-Edge Collaborative Framework for MEC based Smart Systems
- Efficient Multiplex Symbolic Execution with Adaptive Search Strategy
- Enhanced Compiler Bug Isolation via Memoized Search
- Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair
- Exploring the Architectural Impact of Possible Dependencies in Python Software
- Express: An Energy-Efficient and Secure Framework for Mobile Edge Computing and Blockchain based Smart Systems**This research is in part supported by the National Natural Science Foundation of China Project No. 61972001
- FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades
- FLUX: From SQL to GQL query translation tool
- Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
- FlashRegex: Deducing Anti-ReDoS Regexes from Examples
- Formal Verification of Masking Countermeasures for Arithmetic Programs
- GUI2WiRe: Rapid Wireframing with a Mined and Large-Scale GUI Repository using Natural Language Requirements
- Generating Concept based API Element Comparison Using a Knowledge Graph
- Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
- Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
- HomoTR: Online Test Recommendation System Based on Homologous Code Matching
- How Incidental are the Incidents? Characterizing and Prioritizing Incidents for Large-Scale Online Service Systems
- Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems
- Identifying Mutation Subsumption Relations
- Identifying Software Performance Changes Across Variants and Versions
- Identifying and Describing Information Seeking Tasks
- ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies
- Industry Practice of JavaScript Dynamic Analysis on WeChat Mini-Programs
- Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors
- Interval Change-Point Detection for Runtime Probabilistic Model Checking
- Is Software Engineering Research Addressing Software Engineering Problems? (Keynote)
- JISET: JavaScript IR-based Semantics Extraction Toolchain
- JITBot: An Explainable Just-In-Time Defect Prediction Bot
- Just-In-Time Reactive Synthesis
- LEGION: Best-First Concolic Testing
- Learning to Handle Exceptions
- Lightweight MBT Testing for National e-Health Portal in Norway
- M3: Semantic API Migrations
- Making Fair ML Software using Trustworthy Explanation
- Managing App Testing Device Clouds: Issues and Opportunities
- Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems
- Mastering Uncertainty in Performance Estimations of Configurable Software Systems
- MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation
- Metamorphic Object Insertion for Testing Object Detection Systems
- MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection
- MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools
- MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests
- Multi-task Learning based Pre-trained Language Model for Code Completion
- Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining
- Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
- NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
- No Strings Attached: An Empirical Study of String-related Software Bugs
- OCoR: An Overlapping-Aware Code Retriever
- OSLDetector: Identifying Open-Source Libraries through Binary Analysis
- On Benign Features in Malware Detection
- On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems
- Owl Eyes: Spotting UI Display Issues via Visual Understanding
- Patching as Translation: the Data and the Metaphor
- Pending Constraints in Symbolic Execution for Better Exploration and Seeding
- PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects
- Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data
- Predicting Code Context Models for Software Development Tasks
- Prober: Practically Defending Overflows with Page Protection
- Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance
- Proving Termination by k-Induction
- RepoSkillMiner: Identifying software expertise from GitHub repositories using Natural Language Processing
- Representing and Reasoning about Dynamic Code
- Retrieve and Refine: Exemplar-based Neural Comment Generation
- Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size
- SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations
- SAT-Based Arithmetic Support for Alloy
- SCDetector: Software Functional Clone Detection Based on Semantic Tokens Analysis
- SRRTA: Regression Testing Acceleration via State Reuse
- STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis
- Safety and Robustness for Deep Learning with Provable Guarantees
- Scalability and Precision Improvement of Neural Program Synthesis
- Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations
- Scaling Client-Specific Equivalence Checking via Impact Boundary Search
- Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for Android
- SmartBugs: A Framework to Analyze Solidity Smart Contracts
- Sosed: a tool for finding similar software projects
- Source Code and Binary Level Vulnerability Detection and Hot Patching
- Speeding up GUI Testing by On-Device Test Generation
- Stay Professional and Efficient: Automatically Generate Titles for Your Bug Reports
- Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN
- Subdomain-Based Generality-Aware Debloating
- Summary-Based Symbolic Evaluation for Smart Contracts
- Synthesis of Infinite-State Systems with Random Behavior
- Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems
- Synthesizing Smart Solving Strategy for Symbolic Execution
- Team Discussions and Dynamics During DevOps Tool Adoptions in OSS Projects
- Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study
- TestMC: Testing Model Counters using Differential and Metamorphic Testing
- The Classification and Propagation of Program Comments
- The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel
- The New Approach to IT Testing : Real Transaction-Based Automated Validation Solution
- The Symptom, Cause and Repair of Workaround
- Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation
- Towards Generating Thread-Safe Classes Automatically
- Towards Immersive Comprehension of Software Systems Using Augmented Reality - An Empirical Evaluation
- Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction
- Towards Programming and Verification for Activity-Oriented Smart Home Systems
- Towards Robust Production Machine Learning Systems: Managing Dataset Shift
- Towards Transparency-Encouraging Partial Software Disclosure to Enable Trust in Data Usage
- Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach
- UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps
- UNCHARTIT: An Interactive Framework for Program Recovery from Charts
- Understanding Performance Concerns in the API Documentation of Data Science Libraries
- Using Defect Prediction to Improve the Bug Detection Capability of Search-Based Software Testing
- Verified from Scratch: Program Analysis for Learners' Programs
- WASim: Understanding WebAssembly Applications through Classification
- When Deep Learning Meets Smart Contracts
- Where Shall We Log? Studying and Suggesting Logging Locations in Code Blocks
- Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling