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