Search papers, labs, and topics across Lattice.
University of Twente
2
0
4
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.
