14. ESEC / 21. SIGSOFT FSE 2013: Saint Petersburg, Russian Federation

Keynotes

Panels

AEC Summary

Testing I

Dynamic and Variable Software

Formal Reasoning

Empirical Studies I

Parallel, Concurrent, and Distributed Systems

Software Development Activities

Testing II

Dynamic Analysis

Models and Features

Test and Analysis

Maintenance and Evolution

Formal Verification

Model Inference and Synthesis

Empirical Studies II

JavaScript

Source Code and Programming

Bug Detection

Tool Demonstrations I

Tool Demonstrations II

Tool Demonstrations III

Analysis and Testing

Hunting Bugs

Understanding Software Development

Implementing Sound Software-Engineering Practices in Companies

Approaches to Quality

Effective Industry Use of Software-Engineering Tools

Doctoral Papers 1

Doctoral Papers 2

Doctoral Papers 3

Doctoral Papers 4

maintained by Schloss Dagstuhl LZI at University of Trier