ASE 2015
100 papers
- "What Parts of Your Apps are Loved by Users?" (T)
- A Generic Framework for Concept-Based Exploration of Semi-Structured Software Engineering Data
- A Message-Passing Architecture without Public Ids Using Send-to-Behavior
- Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T)
- ActivitySpace: A Remembrance Framework to Support Interapplication Information Needs
- An Automated Framework for Recommending Program Elements to Novices (N)
- Array Shadow State Compression for Precise Dynamic Race Detection (T)
- Automated Tagging of Software Projects Using Bytecode and Dependencies (N)
- Automated Test Input Generation for Android: Are We There Yet? (E)
- Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages (N)
- Automatically Generating Test Templates from Test Names (N)
- Automating the Extraction of Model-Based Software Product Lines from Model Variants (T)
- CIVL: Formal Verification of Parallel Programs
- CLAMI: Defect Prediction on Unlabeled Datasets (T)
- Clone Merge - An Eclipse Plugin to Abstract Near-Clone C++ Methods
- CodeExchange: Supporting Reformulation of Internet-Scale Code Queries in Context (T)
- CodeHow: Effective Code Search Based on API Understanding and Extended Boolean Model (E)
- Combining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports (N)
- Configuration-Aware Change Impact Analysis (T)
- Copy and Paste Redeemed (T)
- Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T)
- Covert Communication in Mobile Applications (T)
- Crust: A Bounded Verifier for Rust (N)
- DRIVER - A Platform for Collaborative Framework Understanding
- Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest (N)
- Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned (E)
- Development Emails Content Analyzer: Intention Mining in Developer Discussions (T)
- Development History Granularity Transformations (N)
- Divide-and-Conquer Approach for Multi-phase Statistical Migration for Source Code (T)
- Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T)
- Dynamically Testing GUIs Using Ant Colony Optimization (T)
- Efficient Data Model Verification with Many-Sorted Logic (T)
- Ensemble Methods for App Review Classification: An Approach for Software Evolution (N)
- Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T)
- Executing Model-Based Tests on Platform-Specific Implementations (T)
- Experiences from Designing and Validating a Software Modernization Transformation (E)
- Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T)
- Extracting Visual Contracts from Java Programs (T)
- FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters
- Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)
- Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T)
- Fuzzing the Rust Typechecker Using CLP (T)
- GRT: An Automated Test Generator Using Orchestrated Program Analysis
- GRT: Program-Analysis-Guided Random Testing (T)
- General LTL Specification Mining (T)
- Generating Fixtures for JavaScript Unit Testing (T)
- Generating Qualifiable Avionics Software: An Experience Report (E)
- Have We Seen Enough Traces? (T)
- How Verified is My Code? Falsification-Driven Verification (T)
- How do Developers Document Database Usages in Source Code? (N)
- Interpolation Guided Compositional Verification (T)
- Investigating Program Behavior Using the Texada LTL Specifications Miner
- JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)
- LED: Tool for Synthesizing Web Element Locators
- Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs
- Learning to Generate Pseudo-Code from Source Code Using Statistical Machine Translation (T)
- Learning to Rank for Question-Oriented Software Text Retrieval (T)
- Measuring Object-Oriented Design Principles
- MetaMod: A Modeling Formalism with Modularity at Its Core
- Mining User Opinions in Mobile App Reviews: A Keyword-Based Approach (T)
- Model Checking Task Parallel Programs Using Gradual Permissions (N)
- Model-Based Testing of Stateful APIs with Modbat
- Model-Driven Allocation Engineering (T)
- Mutation-Based Fault Localization for Real-World Multilingual Programs (T)
- Optimistic Shared Memory Dependence Tracing (T)
- Performance Prediction of Configurable Software Systems by Fourier Learning (T)
- Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T)
- Predicting Delays in Software Projects Using Networked Classification (T)
- Pseudogen: A Tool to Automatically Generate Pseudo-Code from Source Code
- Quantification of Software Changes through Probabilistic Symbolic Execution (N)
- Recommending API Usages for Mobile Apps with Hidden Markov Model
- Refactorings for Android Asynchronous Programming
- Region and Effect Inference for Safe Parallelism (T)
- Repairing Programs with Semantic Code Search (T)
- Reverse Engineering Mobile Application User Interfaces with REMAUI (T)
- Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T)
- Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T)
- Semantic Slicing of Software Version Histories (T)
- SiPL - A Delta-Based Modeling Framework for Software Product Line Engineering
- SpyREST in Action: An Automated RESTful API Documentation Tool
- SpyREST: Automated RESTful API Documentation Using an HTTP Proxy Server (N)
- Stability of Self-Adaptive Software Architectures
- Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)
- Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T)
- Static Window Transition Graphs for Android (T)
- String Analysis of Android Applications (N)
- Study and Refactoring of Android Asynchronous Programming (T)
- Synergizing Specification Miners through Model Fissions and Fusions (T)
- Synthesising Interprocedural Bit-Precise Termination Proofs (T)
- Synthesizing Web Element Locators (T)
- TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T)
- Test Analysis: Searching for Faults in Tests (N)
- Testing Cross-Platform Mobile App Development Frameworks (T)
- The ReMinds Tool Suite for Runtime Monitoring of Systems of Systems
- The iMPAcT Tool: Testing UI Patterns on Mobile Applications
- Tool Support for Analyzing Mobile App Reviews
- Tracking and Analyzing Cross-Cutting Activities in Developers' Daily Work (N)
- Tracking the Software Quality of Android Applications Along Their Evolution (T)
- Understanding, Refactoring, and Fixing Concurrency in C#
- Variable Feature Usage Patterns in PHP (T)