Scenario‐based testing using symbolic animation of B models

SUMMARY This article presents a model‐based test generation technique, from user‐defined scenarios, for behavioral models expressed as B machines. Scenarios ...