Petra van den Bos

It is shown that the MBT apparatus survives: conformance, test generation and verdicts are preserved by the lifting, on the testable traces that a time-out based tester can observe.

Get significantly higher test coverage from your BDD scenarios by automatically translating them into formal models.

Guaranteeing that composed BDD transition systems maintain the testing power of individual scenarios unlocks more efficient model-based testing in Behavior-Driven Development.