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

Refine list

showing all ?? records



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


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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics