Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata.

Eun-Young Kang, Thiago Rocha Silva

Browse the full APSEC paper archive.