Scenario-based Test Case Generation Using Event-B Models

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Qaisar A. Malik, Johan Lilius, Linas Laibinis
Förläggare: IEEE Computer Society
Publiceringsår: 2009
Förläggare: IEEE Computer Society
Moderpublikationens namn: Advances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on
Artikelns första sida, sidnummer: 31
Artikelns sista sida, sidnummer: 37
ISBN: 978-1-4244-4862-3
eISBN: 978-0-7695-3774-0

Senast uppdaterad 2019-19-10 vid 04:39