2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 11-15, 2013, Palo Alto, USA

Phone Layout
No Pictures
Monday, November 11, 2013
A Hands-On Java Pathfinder (JPF) Tutorial (Tutorials)
08:00 – 18:00, Medtrn. I Salon A
Rigorous Examination of Reactive Systems Workshop (RERS) (Co-located Workshop)
08:00 – 18:00, Portofino
2nd International Workshop on Software Mining (SoftMine) (Co-located Workshop)
08:00 – 18:00, St. Tropez
International Workshop on Machine Learning and Information Retrieval for Software Engineering (MALIR-SE) (Co-located Workshop)
08:00 – 18:00, St. Tropez
Doctoral Symposium
08:45 – 18:00, Bacchus
Detecting and Fixing Emergent Behaviors in Distributed Software Systems using a Message Content Independent Method
Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications
Supporting Bug Investigation using History Analysis
Preprint
Context-Aware Task Allocation for Distributed Agile Team
Preventing Erosion of Architectural Tactics through Their Strategic Implementation, Preservation, and Visualization
Tuesday, November 12, 2013
Java PathFinder (JPF) Workshop 2013 (Co-located Workshop)
08:00 – 18:00, Medtrn. I Salon A
LearnLib: Test-based Modeling of Software Components (Tutorials)
08:00 – 12:10, Mykonos
Property-based and Contract-based Design of System Architectures (Tutorials)
13:30 – 18:00, Mykonos
Wednesday, November 13, 2013
Message from the Chairs (Opening)
08:30 – 08:45, Medtrn. II, III
Message from the Chairs
BOOM: Experiences in Language and Tool Design for Distributed Systems (Keynote)
08:45 – 10:10, Medtrn. II, III
BOOM: Experiences in Language and Tool Design for Distributed Systems (Keynote)
Concurrency (Technical Research Track)
10:30 – 12:10, Medtrn. II
Round-Up: Runtime Checking Quasi Linearizability of Concurrent Data Structures
Constraint-Based Automatic Symmetry Detection
Proving MCAPI Executions Are Correct using SMT
Efficient Data Race Prediction with Incremental Reasoning on Time-Stamped Lock History
Experience: Software Analysis (Experience Track)
10:30 – 12:10, Medtrn. III
Software Analytics for Incident Management of Online Services: An Experience Report
Preprint
A Comparative Analysis of Software Architecture Recovery Techniques
Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring
Preprint
The Potential of Polyhedral Optimization: An Empirical Study
Preprint Info
Dynamic Analysis (Technical Research Track)
13:30 – 15:10, Medtrn. II
PIEtrace: Platform Independent Executable Trace
ACM SIGSOFT Distinguished Paper Award
Info
Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries
Efficient Parametric Runtime Verification with Deterministic String Rewriting
Preprint Info
Identifying Execution Points for Dynamic Analyses
Preprint
New Ideas: Adaptation and Transformation (New Ideas Track)
13:30 – 15:10, Medtrn. III
AutoComment: Mining Question and Answer Sites for Automatic Comment Generation
Preprint
Detecting System Use Cases and Validations from Documents
Multi-user Variability Configuration: A Game Theoretic Approach
From Comparison Matrix to Variability Model: The Wikipedia Case Study
Preprint
Learning Effective Query Transformations for Enhanced Requirements Trace Retrieval
Preprint
Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications
Cloud Twin: Native Execution of Android Applications on the Windows Phone
SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input
Preprint
Tool Teasers (Tool Demonstrations)
15:30 – 17:30, Medtrn. III
Model Repair and Transformation with Echo
Video Info
Smart Cloud Broker: Finding Your Home in the Clouds
OCRA: A Tool for Checking the Refinement of Temporal Contracts
The Bounded Model Checker LLBMC
Video Info
CSeq: A Concurrency Pre-processor for Sequential C Verification Tools
Info
Automated Testing of Cloud-Based Elastic Systems with AUToCLES
Tool Support for Automatic Model Transformation Specification using Concrete Visualisations
Preprint Video Info
CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications
Video Info
Crushinator: A Framework towards Game-Independent Testing
Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation
Preprint
Developing Self-Verifying Service-Based Systems
Preprint Info
TRAM: A Tool for Transforming Textual Requirements into Analysis Models
iProbe: A Lightweight User-Level Dynamic Instrumentation Tool
Video
Testing (Technical Research Track)
15:30 – 17:10, Medtrn. II
Operator-Based and Random Mutant Selection: Better Together
Preprint Info
Testing Properties of Dataflow Program Operators
Bita: Coverage-Guided, Automatic Testing of Actor Programs
SABRINE: State-Based Robustness Testing of Operating Systems
Preprint
Welcome Reception
18:00 – 20:00, Courtyard
Tool Demonstrations
18:00 – 20:00, Medtrn. I
Model Repair and Transformation with Echo
Video Info
Smart Cloud Broker: Finding Your Home in the Clouds
OCRA: A Tool for Checking the Refinement of Temporal Contracts
The Bounded Model Checker LLBMC
Video Info
CSeq: A Concurrency Pre-processor for Sequential C Verification Tools
Info
Automated Testing of Cloud-Based Elastic Systems with AUToCLES
Tool Support for Automatic Model Transformation Specification using Concrete Visualisations
Preprint Video Info
CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications
Video Info
Crushinator: A Framework towards Game-Independent Testing
Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation
Preprint
Developing Self-Verifying Service-Based Systems
Preprint Info
TRAM: A Tool for Transforming Textual Requirements into Analysis Models
iProbe: A Lightweight User-Level Dynamic Instrumentation Tool
Video
Thursday, November 14, 2013
Evolution (Technical Research Track)
08:30 – 10:10, Medtrn. III
A Study of Repetitiveness of Code Changes in Software Evolution
Consistency-Preserving Edit Scripts in Model Versioning
JFlow: Practical Refactorings for Flow-Based Parallelism
Automated Planning for Software Architecture Evolution
Preprint Info
Verification (Technical Research Track)
08:30 – 10:10, Medtrn. II
Blitz: Compositional Bounded Model Checking for Real-World Programs
Ranger: Parallel Analysis of Alloy Models by Range Partitioning
Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications
Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication
Preprint Info
Generation and Synthesis (Technical Research Track)
10:30 – 12:10, Medtrn. II
Automatically Synthesizing SQL Queries from Input-Output Examples
Preprint
SEDGE: Symbolic Example Data Generation for Dataflow Programs
Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution
Preprint Info
Entropy-Based Test Generation for Improved Fault Localization
Experience: Testing and Verification (Experience Track)
10:30 – 12:10, Medtrn. III
Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing
Minimizing CPU Time Shortage Risks in Integrated Embedded Software
Model Based Test Validation and Oracles for Data Acquisition Systems
Automated Verification of Interactive Rule-Based Configuration Systems
Big Problems in Industry (Panel) (Panel)
13:30 – 15:10, Medtrn. II, III
Big Problems in Industry (Panel)
Recommendations (Technical Research Track)
15:30 – 17:10, Medtrn. II
Detecting Bad Smells in Source Code using Change History Information
ACM SIGSOFT Distinguished Paper Award
Preprint
Personalized Defect Prediction
Preprint
Automatic Recommendation of API Methods from Feature Requests
Preprint
Variability-Aware Performance Prediction: A Statistical Learning Approach
Preprint Info
New Ideas: Testing and Debugging (New Ideas Track)
15:30 – 17:10, Medtrn. III
Pythia: Generating Test Cases with Oracles for JavaScript Applications
Randomizing Regression Tests using Game Theory
Automated Inference of Classifications and Dependencies for Combinatorial Testing
Adding Context to Fault Localization with Integration Coverage
Using Automatically Generated Invariants for Regression Testing and Bug Localization
Class Level Fault Prediction using Software Clustering
Preprint Info
ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories
Preprint Info
Flow Permissions for Android
Banquet
19:00 – 23:00, Computer History Museum
Friday, November 15, 2013
Security (Technical Research Track)
08:45 – 10:00, Medtrn. II
A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling
Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis
Finding Architectural Flaws using Constraints
New Ideas: Models and Requirements (New Ideas Track)
08:45 – 10:00, Medtrn. III
A Pattern-Based Approach to Parametric Specification Mining
Semi-automatic Generation of Metamodels from Model Sketches
Assessing the Maturity of Requirements through Argumentation: A Good Enough Approach
Natural Language Requirements Quality Analysis Based on Business Domain Models
Model/Code Co-Refactoring: An MDE Approach
Recovering Model Transformation Traces using Multi-Objective Optimization
Resources (Technical Research Track)
10:30 – 12:10, Medtrn. III
Characterizing and Detecting Resource Leaks in Android Applications
Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications
Dynamically Transforming Data Structures
Towards Precise Metrics for Predicting Graph Query Performance
Debugging (Technical Research Track)
10:30 – 12:10, Medtrn. II
Improving Bug Localization using Structured Information Retrieval
Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results
Detecting and Characterizing Semantic Inconsistencies in Ported Code
Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging
ACM SIGSOFT Distinguished Paper Award
Preprint Info
Models and Complexity (Technical Research Track)
13:30 – 14:20, Medtrn. III
Measuring the Structural Complexity of Feature Models
Info
Scalable Product Line Configuration: A Straw to Break the Camel’s Back
Preprint
Specification Mining (Technical Research Track)
13:30 – 14:20, Medtrn. II
TzuYu: Learning Stateful Typestates
Preprint
Mining Branching-Time Scenarios
The Challenges of Verification and Validation of Automated Planning Systems (Keynote)
14:30 – 16:00, Medtrn. II, III
The Challenges of Verification and Validation of Automated Planning Systems (Keynote)

Time stamp: 2020-07-08T11:56:18+02:00