Syntactic Abstraction of B Models to Generate Tests.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bu, Pierre-Alain Masson

Browse the full TAP paper archive.