5 citations · 6 across the 3 of their papers we have counts for
4 papers
Your Proof Fails? Testing Helps to Find the Reason
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella +2
Applying deductive verification to formally prove that a program respects its formal specification is a very complex and time-consuming task due in particular to the lack of feedba…
Coverage Criteria for Model-Based Testing using Property Patterns
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated…
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…
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
Samir Chouali, Jacques Julliand, Pierre-Alain Masson +1
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified through…