Synthesis of Scenario Based Test Cases from B Models

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Satpathy M, Malik QA, Lilius J
Editors: Havelund K, Núñez M, Rosu G, Wolff B
Publisher: Springer
Publication year: 2006
Book title: 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
Title of series: Lecture Notes in Computer Science
Volume number: 4262
Start page: 133
End page: 147

Last updated on 2019-22-09 at 03:43