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