34th ICSE 2012: Zurich, Switzerland

Refine list

showing all ?? records

Technical Research

Fault Handling

Code Generation and Recovery

Empirical Studies of Development

Performance Analysis

Defect Prediction

Refactoring

Human Aspects of Development

Bug Detection

Multiversion Software

Similarity and Classification

Analysis for Evolution

Debugging

Human Aspects of Process

Models

Concurrency and Exceptions

Software Architecture

Formal Verification

Invariant Generation

Regression Testing

Software Vulnerability

API Learning

Code Recommenders

Test Automation

Validation of Specification

Keynotes

Software Engineering in Practice

Services and Analytics

Mini-Tutorial: Software Analytics

Invited Industrial Experts

Formal Methods

Goldfish Bowl Panel: Software Development Analytics

Re-engineering

Debugging

Case Studies

Testing

Software Engineering Education

The Role of Software Projects in Software Engineering Education

Aspects of Teaching Software Engineering

Software Engineering Education in Industry

Teaching Distributed Software Engineering

New Ideas and Emerging Results

NIER in Support of Software Engineers

NIER for Mining Product and Process Data

NIER for Verification and Evolution

Formal Research Demonstrations

Formal Demos 1

Formal Demos 2

Posters and Informal Demonstrations

Posters

Informal Demonstrations

Doctoral Symposium

Posters 1-12

Presentations 1-4

Presentations 5-6

Posters 13-25

ACM Student Research Competition

Invited Summaries

a service of  Schloss Dagstuhl - Leibniz Center for Informatics