ASE 2019
154 papers
- A Journey Towards Providing Intelligence and Actionable Insights to Development Teams in Software Delivery
- A Machine Learning Based Approach to Identify SQL Injection Vulnerabilities
- A Qualitative Analysis of Android Taint-Analysis Results
- A Quantitative Analysis Framework for Recurrent Neural Network
- A Study of Oracle Approximations in Testing Deep Learning Libraries
- ACTGAN: Automatic Configuration Tuning for Software Systems with Generative Adversarial Networks
- API Design Implications of Boilerplate Client Code
- Accurate Modeling of Performance Histories for Evolving Software Systems
- Accurate String Constraints Solution Counting with Weighted Automata
- Active Hotspot: An Issue-Oriented Model to Monitor Software Evolution and Degradation
- An Approach for Investigating Emotion Dynamics in Software Development
- An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms
- An Experience Report of Generating Load Tests Using Log-Recovered Workloads at Varying Granularities of User Behaviour
- An Image-Inspired and CNN-Based Android Malware Detection Approach
- An Industrial Experience Report on Performance-Aware Refactoring on a Database-Centric Web Application
- Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models
- Ares: Inferring Error Specifications through Static Analysis
- Assessing the Generalizability of Code2vec Token Embeddings
- AutoFocus: Interpreting Attention-Based Neural Networks by Code Perturbation
- Automated Refactoring to Reactive Programming
- Automated Trainability Evaluation for Smart Software Functions
- Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements
- Automatic Generation of Pull Request Descriptions
- Automatic Self-Validation for Code Coverage Profilers
- Automatically Repairing Binary Programs Using Adapter Synthesis
- Automating App Review Response Generation
- Automating CUDA Synchronization via Program Transformation
- Automating Non-Blocking Synchronization In Concurrent Data Abstractions
- B2SFinder: Detecting Open-Source Software Reuse in COTS Software
- Batch Alias Analysis
- Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report
- Boosting Neural Commit Message Generation with Code Semantic Analysis
- BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules
- CLCDSA: Cross Language Code Clone Detection using Syntactical Features and API Documentation
- CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities
- Cautious Adaptation of Defiant Components
- Characterizing Android App Signing Issues
- CoRA: Decomposing and Describing Tangled Code Changes for Reviewer
- CocoQa: Question Answering for Coding Conventions Over Knowledge Graphs
- Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling
- CodeKernel: A Graph Kernel Based Approach to the Selection of API Usage Examples
- Combining Program Analysis and Statistical Language Model for Code Statement Completion
- Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study
- Compile-Time Detection of Machine Image Sniping
- Continuous Incident Triage for Large-Scale Online Service Systems
- Coverage-Guided Fuzzing for Feedforward Neural Networks
- Crowdsourced Report Generation via Bug Screenshot Understanding
- DIRE: A Neural Approach to Decompiled Identifier Naming
- DaPanda: Detecting Aggressive Push Notifications in Android Apps
- Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
- DeepMutation++: A Mutation Testing Framework for Deep Learning Systems
- Demystifying Application Performance Management Libraries for Android
- Detecting Error-Handling Bugs without Error Specification Input
- Developer Reputation Estimator (DRE)
- Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites
- Efficient Test Generation Guided by Field Coverage Criteria
- Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs
- Emotions Extracted from Text vs. True Emotions-An Empirical Evaluation in SE Context
- Empirical Evaluation of the Impact of Class Overlap on Software Defect Prediction
- Empirical Study of Programming to an Interface
- Empirical Study of Python Call Graph
- Enabling Continuous Improvement of a Continuous Integration Process
- Experience Paper: Search-Based Testing in Automated Driving Control Applications
- FPChecker: Detecting Floating-Point Exceptions in GPU Applications
- Feature-Interaction Aware Configuration Prioritization for Configurable Code
- Fine-Grain Memory Object Representation in Symbolic Execution
- FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing
- Generating Tests to Analyse Dynamically-Typed Programs
- Get Rid of Inline Assembly through Verification-Oriented Lifting
- Goal-Driven Exploration for Android Applications
- Grading-Based Test Suite Augmentation
- History-Guided Configuration Diversification for Compiler Test-Program Generation
- How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?
- Humanoid: A Deep Learning-Based Approach to Automated Black-box Android App Testing
- Improving Collaboration Efficiency in Fork-Based Development
- Improving Patch Quality by Enhancing Key Components of Automatic Program Repair
- Improving the Decision-Making Process of Self-Adaptive Systems by Accounting for Tactic Volatility
- InFix: Automatically Repairing Novice Program Inputs
- Inference of Properties from Requirements and Automation of Their Formal Verification
- Inferring Program Transformations From Singular Examples via Big Code
- Kotless: A Serverless Framework for Kotlin
- LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform
- Lancer: Your Code Tell Me What You Need
- Learning from Examples to Find Fully Qualified Names of API Elements in Code Snippets
- Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences
- Logzip: Extracting Hidden Structures via Iterative Clustering for Log Compression
- MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes
- MARBLE: Mining for Boilerplate Code to Identify API Usability Problems
- Machine Learning Based Recommendation of Method Names: How Far are We
- MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis
- Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
- Model Checking Embedded Control Software using OS-in-the-Loop CEGAR
- MuSC: A Tool for Mutation Testing of Ethereum Smart Contract
- Multi-modal Attention Network Learning for Semantic Source Code Retrieval
- MutAPK: Source-Codeless Mutant Generation for Android Apps
- Mutation Analysis for Coq
- NeuralVis: Visualizing and Interpreting Deep Learning Models
- OAUTHLINT: An Empirical Study on OAuth Bugs in Android Applications
- PHANTA: Diversified Test Code Quality Measurement for Modern Software Development
- PMExec: An Execution Engine of Partial UML-RT Models
- PTracer: A Linux Kernel Patch Trace Bot
- Pangolin: An SFL-Based Toolset for Feature Localization
- PeASS: A Tool for Identifying Performance Changes at Code Level
- Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis
- PraPR: Practical Program Repair via Bytecode Mutation
- Predicting Licenses for Changed Source Code
- Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
- Property Inference for Deep Neural Networks
- RANDR: Record and Replay for Android Applications via Targeted Runtime Instrumentation
- RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis
- Re-Factoring Based Program Repair Applied to Programming Assignments
- ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
- RefBot: Intelligent Software Refactoring Bot
- Regexes are Hard: Decision-Making, Difficulties, and Risks in Programming Regular Expressions
- Retrieve and Refine: Exemplar-Based Neural Comment Generation
- Root Cause Localization for Unreproducible Builds via Causality Analysis Over System Call Tracing
- SCMiner: Localizing System-Level Concurrency Faults from Large System Call Traces
- SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs
- SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection
- SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
- SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods
- Semistructured Merge in JavaScript Systems
- SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software
- Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs
- Size and Accuracy in Model Inference
- Statistical Log Differencing
- Subformula Caching for Model Counting and Quantitative Program Analysis
- Systematically Covering Input Structure
- Tackling Build Failures in Continuous Integration
- Targeted Example Generation for Compilation Errors
- Test Automation and Its Limitations: A Case Study
- Test Migration Between Mobile Apps with Similar Functionality
- Test Transfer Across Mobile Apps Through Semantic Mapping
- TestCov: Robust Test-Suite Execution and Coverage Measurement
- Testing Regex Generalizability And Its Implications: A Large-Scale Many-Language Measurement Study
- The Impact of Structure on Software Merging: Semistructured Versus Structured Merge
- Toward Practical Automatic Program Repair
- Towards Comprehensible Representation of Controllers using Machine Learning
- Trusted Software Supply Chain
- TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis
- Understanding Automatically-Generated Patches Through Symbolic Invariant Differences
- Understanding Exception-Related Bugs in Large-Scale Cloud Systems
- User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications
- V2: Fast Detection of Configuration Drift in Python
- VeriAbs : Verification by Abstraction and Test Generation
- VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq
- Verifying Arithmetic in Cryptographic C Programs
- Verifying Determinism in Sequential Programs
- VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization
- Visual Analytics for Concurrent Java Executions
- Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning
- XRaSE: Towards Virtually Tangible Software using Augmented Reality
- iFeedback: Exploiting User Feedback for Real-Time Issue Detection in Large-Scale Online Service Systems
- mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines