Slides for a talk on search-based testing for Event-B models
Event-B in a Nutshell Test Data Generation 13th CREST Open Workshop 12th-13th of May 2011, London 13th CREST Open Workshop 12th-13th of May 2011, London.
Event-B in a Nutshell