Talks and Workshops

Conferences

• How Test Generation Helps Software Specification and Deductive Verification
  24-25 July 2014 • York, UK
  8th International Conference on Tests & Proofs
• Instrumentation of Annotated C Programs for Test Generation
  28-29 September 2014 • Victoria, British Columbia, Canada
  14th IEEE International Working Conference on Source Code Analysis and Manipulation