FATES/RV 2006 (2006 Seattle, Wash.)

• Formal approaches to software testing and runtime verification