Scenario-based Test Case Generation Using Event-B Models

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Qaisar A. Malik, Johan Lilius, Linas Laibinis
Publisher: IEEE Computer Society
Publication year: 2009
Publisher: IEEE Computer Society
Book title: Advances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on
Start page: 31
End page: 37
ISBN: 978-1-4244-4862-3
eISBN: 978-0-7695-3774-0

Last updated on 2019-14-11 at 04:06