"Synthesis of Scenario Based Test Cases from B Models."

Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics