14. SIGSOFT FSE 2006: Portland, Oregon, USA

Empirical methods and program understanding

Mining failures and bugs

Program analysis

Formal approaches to programming

Empirical studies

Safety and security

Requirements modeling

Testing

Specification mining

maintained by Schloss Dagstuhl LZI at University of Trier