ASE 2017
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), October 30 – November 3, 2017, Urbana-Champaign, IL, USA

Phone Layout
No Pictures
Sunday, October 29, 2017
Intl. Workshop on Intelligent Software Engineering (WISE 2017) (Workshops)
08:30 – 17:30, Room 2405
Monday, October 30, 2017
Doctoral Symposium
09:00 – 17:30, Room 4405
Learning Effective Changes for Software Projects
Characterizing and Taming Non-deterministic Bugs in JavaScript Applications
Towards API-Specific Automatic Program Repair
Managing Software Evolution through Semantic History Slicing
Preprint
Towards the Automatic Classification of Traceability Links
Towards a Software Vulnerability Prediction Model using Traceable Code Patterns and Software Metrics
Towards Search-Based Modelling and Analysis of Requirements and Architecture Decisions
Privacy-Aware Data-Intensive Applications
International Workshop on Software Mining (SoftwareMining) (Workshops)
09:00 – 17:30, Room 3403
Probabilistic Programming and Analysis for Software Engineers (Tutorials)
09:00 – 17:30, Room 3405
Theorem Proving with Vampire for Rigorous Systems Engineering (Tutorials)
09:00 – 17:30, Room 4403
NSF Sponsored Workshop on Infrastructures and Instruments For Software Architecture (REINFORCE) (Workshops)
09:00 – 17:30, Room 4407
Tuesday, October 31, 2017
Message from the Chairs
08:30 – 09:00, Illini Union
Message from the Chairs
Cobra - An Interactive Static Code Analyzer
09:00 – 10:00, Illini Union
Cobra - An Interactive Static Code Analyzer
Test Generation (Technical Research)
10:30 – 12:30, Illini Room A, Chair: Andreas Zeller
Systematically Testing Background Services of Mobile Apps
Crowd Intelligence Enhances Automated Mobile Testing
EHBDroid: Beyond GUI Testing for Android Applications
Preprint Info
Sketch-Guided GUI Test Generation for Mobile Applications
Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation
Preprint Info
Learn&Fuzz: Machine Learning for Input Fuzzing
Developers’ Practice and Behavior (Technical Research)
10:30 – 12:30, Illini Room B, Chair: Sven Apel
The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study
Preprint
Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution
Preprint
Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?
Preprint
Are Developers Aware of the Architectural Impact of Their Changes?
Preprint Info
SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions
Preprint
Program Synthesis (Technical Research)
10:30 – 12:30, Illini Room C, Chair: Antonio Filieri
Automatic Loop-Invariant Generation and Refinement through Selective Sampling
FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
SymInfer: Inferring Program Invariants using Symbolic States
Preprint Info
Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers
Mining Constraints for Event-based Monitoring in Systems of Systems
Programming Bots by Synthesizing Natural Language Expressions into API Invocations
Documentation (Technical Research)
13:30 – 15:30, Illini Room A, Chair: Paul Grünbacher
Detecting Fragile Comments
Preprint Info
Improving Software Text Retrieval using Conceptual Knowledge in Source Code
Automatically Generating Commit Messages from Diffs using Neural Machine Translation
Preprint Info
Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data
APIBot: Question Answering Bot for API Documentation
Automatic Summarization of API Reviews
Formal Verification (Technical Research)
13:30 – 15:30, Illini Room B, Chair: Bernd Fischer
iCoq: Regression Proof Selection for Large-Scale Verification Projects
More Effective Interpolations in Software Model Checking
Proof-Based Coverage Metrics for Formal Verification
Info
Model Checker Execution Reports
Preprint
Modular Verification of Interrupt-Driven Software
BProVe: A Formal Verification Framework for Business Process Models
Security (Technical Research)
13:30 – 15:30, Illini Room C, Chair: Jeff Huang
Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications
PAD: Programming Third-Party Web Advertisement Censorship
All about Activity Injection: Threats, Semantics, and Detection
Detecting Information Flow by Mutating Input Data
Automatically Assessing Crashes from Heap Overflows
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Mobile Development (Technical Research)
16:00 – 17:30, Illini Room A, Chair: Mario Linares-Vásquez
UI Driven Android Application Reduction
Preprint
SimplyDroid: Efficient Event Sequence Simplification for Android Application
Automated Cross-Platform Inconsistency Detection for Mobile Apps
Detecting Plagiarized Mobile Apps using API Birthmarks
From Failures to Faults (Technical Research)
16:00 – 17:30, Illini Room B, Chair: Marcelo d'Amorim
Comprehensive Failure Characterization
Preprint Info
Fault Localization using Itemset Mining under Constraints
TrEKer: Tracing Error Propagation in Operating System Kernels
RuntimeSearch: Ctrl+F for a Running Program
Preprint
Reception
18:00 – 22:00, South Lounge
Wednesday, November 1, 2017
Mining Structures from Massive Text Data: Will It Help Software Engineering?
09:00 – 10:00, Illini Union
Mining Structures from Massive Text Data: Will It Help Software Engineering?
Program Comprehension (Technical Research)
10:30 – 12:30, Illini Room A, Chair: Chris Parnin
Mining Implicit Design Templates for Actionable Code Reuse
Preprint Video
Exploring Regular Expression Comprehension
Preprint Info
Automatically Assessing Code Understandability: How Far Are We?
Preprint Info
Improved Query Reformulation for Concept Location using CodeRank and Document Structures
Preprint Info
Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis
Info
Models (Technical Research)
10:30 – 12:30, Illini Room B, Chair: Lars Grunske
O2O Service Composition with Social Collaboration
Preprint
Gremlin-ATL: A Scalable Model Transformation Framework
Preprint
Diagnosing Assumption Problems in Safety-Critical Products
Preprint
Software Performance Self-Adaptation through Efficient Model Predictive Control
Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis
Preprint Info
Visualization, Models, and Synthesis (Tool Demonstrations)
10:30 – 12:30, Illini Room C, Chair: Willem Visser
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Video
Visualization Support for Requirements Monitoring in Systems of Systems
A Demonstration of Simultaneous Execution and Editing in a Development Environment
Video
TREM: A Tool for Mining Timed Regular Specifications from System Traces
Preprint Video
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Preprint Video Info
Incrementally Slicing Editable Submodels
Video Info
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Preprint Video Info
Reliability and Bugs (Technical Research)
13:30 – 15:30, Illini Room A, Chair: Michael Whalen
A Comprehensive Study of Real-World Numerical Bug Characteristics
A Comprehensive Study on Real World Concurrency Bugs in Node.js
Preprint
An Effective Change Recommendation Approach for Supplementary Bug Fixes
Understanding the Value of Considering Client Usage Context in Package Cohesion for Fault-Proneness Prediction
Meta-learning Based Selection of Software Reliability Models
Source Code Analysis (Technical Research)
13:30 – 15:30, Illini Room B, Chair: Mark Hills
Generating Simpler AST Edit Scripts by Considering Copy-and-Paste
Preprint
Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance
Preprint
Semantics-Assisted Code Review: An Efficient Toolchain and a User Study
Detecting Unknown Inconsistencies in Web Applications
Preprint
Why and How JavaScript Developers Use Linters
Preprint
Analysis and Testing (Tool Demonstrations)
13:30 – 15:30, Illini Room C, Chair: Marcelo d'Amorim
A Static Analysis Tool with Optimizations for Reachability Determination
Video
CogniCrypt: Supporting Developers in Using Cryptography
Video
BProVe: Tool Support for Business Process Verification
Video
taco: A Tool to Generate Tensor Algebra Kernels
Preprint Video Info
STARTS: STAtic Regression Test Selection
EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests
Preprint Video
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Preprint Video Info
Symbolic Execution (Technical Research)
16:00 – 17:30, Illini Room A, Chair: Marsha Chechik
Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing
Preprint
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Preprint
Rethinking Pointer Reasoning in Symbolic Execution
Preprint Info
Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution
Program Repair (Technical Research)
16:00 – 17:30, Illini Room B, Chair: Kathryn T. Stolee
Tortoise: Interactive System Configuration Repair
Preprint
Contract-Based Program Repair without the Contracts
Preprint Info
ELIXIR: Effective Object Oriented Program Repair
Leveraging Syntax-Related Code for Automated Program Repair
Preprint Info
Search and Editing (Tool Demonstrations)
16:00 – 17:30, Illini Room C, Chairs: Alexander Serebrenik
FEMIR: A Tool for Recommending Framework Extension Examples
TiQi: A Natural Language Interface for Querying Software Project Data
Preprint Video
Opiner: An Opinion Search and Summarization Engine for APIs
Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default
Preprint Video Info
Kobold: Web Usability as a Service
Video
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Video Info
Banquet
18:00 – 22:00, Alice Campbell Alumni Center
Thursday, November 2, 2017
Software Engineering without Borders
09:00 – 10:00, Illini Union
Software Engineering without Borders
Recommender Systems (Technical Research)
10:30 – 12:30, Illini Room A, Chair: Bogdan Vasilescu
Boosting Complete-Code Tool for Partial Program
A Language Model for Statements of Software Code
Context-Aware Integrated Development Environment Command Recommender Systems
Predicting Relevance of Change Recommendations
Preprint Info
AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions
Preprint
Recommending Crowdsourced Software Developers in Consideration of Skill Improvement
The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
Preprint Info
Concurrency (Technical Research)
10:30 – 12:30, Illini Room B, Chair: Darko Marinov
UNDEAD: Detecting and Preventing Deadlocks in Production Software
Promoting Secondary Orders of Event Pairs in Randomized Scheduling using a Randomized Stride
Preprint
Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances
Info
Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications
Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
Preprint
Visualization, Models, and Analysis (Hands On) (Tool Demonstrations)
10:30 – 12:30, Illini Room C
Binary Analysis (Technical Research)
13:30 – 15:30, Illini Room A, Chair: Cristian Cadar
In-Memory Fuzzing for Binary Code Similarity Analysis
DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries
Towards Robust Instruction-Level Trace Alignment of Binary Code
Testing Intermediate Representations for Binary Analysis
Preprint
Testing (Technical Research)
13:30 – 15:30, Illini Room B, Chair: Milos Gligoric
Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact
Info
Systematic Reduction of GUI Test Sequences
Automatically Reducing Tree-Structured Test Inputs
Preprint
Analysing the Fitness Landscape of Search-Based Software Testing Problems
Synthetic Data Generation for Statistical Testing
Preprint Info
Testing, Search, and Editing (Hands On) (Tool Demonstrations)
13:30 – 15:30, Illini Room C
Closing
16:00 – 16:30, Illini Room C
Friday, November 3, 2017
Java Pathfinder Workshop 2017 (JPF) (Workshops)
09:00 – 17:30, Room 4403
Program Analysis on Thousands of Projects (Tutorials)
09:00 – 12:00, Room 4405
Towards a National Java Resource (NJR) (Workshops)
13:15 – 17:30, Room 3405
Network Verification From Algorithms To Deployment (Tutorials)
13:15 – 17:30, Room 4405

Time stamp: 2020-09-28T22:12:02+02:00