30th ASE 2015: Lincoln, NE, USA

Session: Automated Development Support I

Session: Formal Verification and Proofs

Session: Specification Mining

Session: Search-Based Software Testing

Session: Concurrency Bugs and Analysis

Session: Automatic Test Generation

Session: Mobile Applications I

Session: Automated Development Support II

Session: Program Repair and Synthesis

Session: Software Performance

Session: Product Lines and Configurable Software Systems

Session: Testing I

Session: Defect Prediction and Debugging

Session: Testing II

Session: Concurrent/Parallel Programming

Session: Program Analysis I

Session: Program Translations

Session: Program Analysis II

Session: Mobile Applications II

Session: Software Evolution

Session: Evaluating Automated Approaches

Session: Data Mining: User Feedback

Session: Tool Demonstrations I

Session: Tool Demonstration II

Session: Tool Demonstration III

Doctoral Symposium

a service of Schloss Dagstuhl - Leibniz Center for Informatics