@inproceedings{26b1840f24e74769bc7450c46fb4cac7,
title = "Synthesis of Scenario Based Test Cases from B Models",
author = "M Satpathy and QA Malik and Johan Lilius",
year = "2006",
language = "Odefinierat/ok{\"a}nt",
pages = "133–147",
editor = "K Havelund and M N{\'u}{\~n}ez and G Rosu and B Wolff",
booktitle = "Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers",
publisher = "Springer",
note = "conference ; Conference date: 01-01-2010",
}