Synthesis of Scenario Based Test Cases from B Models

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Satpathy M, Malik QA, Lilius J
Redaktörer: Havelund K, Núñez M, Rosu G, Wolff B
Förläggare: Springer
Publiceringsår: 2006
Moderpublikationens namn: 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
Seriens namn: Lecture Notes in Computer Science
Volym: 4262
Artikelns första sida, sidnummer: 133
Artikelns sista sida, sidnummer: 147

Senast uppdaterad 2019-10-12 vid 04:19