7 citations · 12 across the 8 of their papers we have counts for
Showing 2010 · cs.LOShow all
2 papers · 2 filters
cs.LO2010
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…
cs.LO2010★ 1 cited
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
Didier Bert, Marie-Laure Potet, Nicolas Stouls
In this paper, we present a method and a tool to build symbolic labelled transition systems from B specifications. The tool, called GeneSyst, can take into account refinement level…