21. APSEC 2014: Jeju, South Korea - Volume 1

Testing I

Testing II

Verification I

Modeling I

Modeling II

Analysis I

Design I

Design II

Architecture and Requirement

Empirical Software Engineering

Analysis II

Verification II

Testing III

Analysis III

Project Management

Verification III

Analysis IV

Testing IV

a service of Schloss Dagstuhl - Leibniz Center for Informatics