Slides for a talk on search-based testing for Event-B models

13th CREST Open Workshop,[object Object],12th-13th of May 2011, London,[object Object],Search-Based Software Engineering for Model-Based Testing,[object Object],Event-B in a Nutshell,[object Object],Test Generation ,[object Object],Approaches,[object Object],SBT Challenges,[object Object],Test Data Generation,[object Object],Finite Model ,[object Object],Learning,[object Object],Conclusions,[object Object],Alin Stefanescu - University of Pitesti, Romania,[object Object],*) joint work with colleagues from DEPLOY project,[object Object]

[Event-B in a Nutshell],[object Object]

Event-B history,[object Object],[object Object]

Inventor of the Z and B formal methods.

B – developed in the 90s, successfully deployed in industry

Event-B – born with the 21st century

Evolution of B for system level specification

Developement supported by French and European projects: FP6 RODIN and FP7 DEPLOY,[object Object]

DEPLOY project (2008-2012) – funded by FP7 ,[object Object],DEPLOY :: Industrial deployment of advanced systemengineering methods for high productivity and dependability using formal methods ,[object Object],[object Object]

3 industrial service providers

Newcastle, Aabo, Düsseldorf, ETH Zurich,

Southampton, Pitesti, Bucharesthttp://www.deploy‐project.eu,[object Object]

Rodin platform for Event-B,[object Object],[object Object]

Theorem proving as core technology

ProB:animation, consistency and model-checking

set theory as mathematical language

refinement as basic modeling approach

Slides for a talk on search-based testing for Event-B models

Slides for a talk on search-based testing for Event-B models

Recommended

More Related Content

Similar to Slides for a talk on search-based testing for Event-B models

Similar to Slides for a talk on search-based testing for Event-B models(20)

Recently uploaded

Recently uploaded(20)

Slides for a talk on search-based testing for Event-B models