12. ESEC / 17. SIGSOFT FSE 2009: Amsterdam, The Netherlands

Specifications and verification 1

Analysis and testing 1

Challenge paper

Dependability

Empirical software engineering

Service-oriented systems

Software quality & performance

Tools & environment

Challenge paper

Component-based software engineering

ACM SIGSOFT's impact paper award

Short papers

Tool demonstrations

Outstanding research paper award

Specification and verification 2

Analysis and testing 2

Challenge paper

Mining software repositories