25th APSEC 2018: Nara, Japan

Research 1: Requirements Engineering

Research 2: Architecture Patterns

Research 3: API and Reuse

Research 4: Formal Specifications and Models

Research 5: Verification

Research 6: Test Optimization

Research 7: Testing and Fault Diagnosis

Research 8: Heterogeneous Platforms and Resources

Research 9: Runtime Update and Adaptation

Research 10: Mobile Apps

Research 11: Static Analysis

Research 12: Code and Defects

Research 13: Security and Vulnerabilities

Research 14: Pull Requests and Code Review

Research 15: Mining Repositories 1

Research 16: Mining Repositories 2

Research 17: Agile Development

Research 18: Quality and Effort

SEIP 1: Model-Based Software Engineering

SEIP 2: Requirements & Human Factors

SEIP 3: Analysis & Testing

SEIP 4: Web

ERA 1: Optimization

ERA 2: Investigation on Implementation

ERA 3: Miscellaneous Source Code Research

ERA4: Validation & Verification

Posters

a service of Schloss Dagstuhl - Leibniz Center for Informatics