12. SIGSOFT FSE 2004: Newport Beach, California, USA

Program analysis

Modeling and requirements

Error explanation

Safety and security

Aspects

Verification

Development support

Testing and reliability