Syntactic Abstraction of B Models to Generate Tests

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué +1

In a model-based testing approach as well as for the verification of properties, B models provide an interesting solution. However, for industrial applications, the size of their s…