@inproceedings{27ec97debe3544f492985c77c54431e7,
title = "Scenario-based Test Case Generation Using Event-B Models",
author = "Malik, {Qaisar A.} and Johan Lilius and Linas Laibinis",
year = "2009",
doi = "10.1109/VALID.2009.22",
language = "Odefinierat/ok{\"a}nt",
isbn = "978-1-4244-4862-3",
pages = "31–37",
booktitle = "Advances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on",
publisher = "IEEE Computer Society",
note = "conference; 2009-09-20; 2009-09-25 ; Conference date: 20-09-2009 Through 25-09-2009",
}