Generating Test Cases from Scenario-Based Formal Development

D4 Published development or research report or study

Internal Authors/Editors

Publication Details

List of Authors: Qaisar A. Malik, Johan Lilius,Linas Laibinis
Publisher: Turku Centre for Computer Science (TUCS)
Place: Turku
Publication year: 2008
Title of series: TUCS Technical Reports
Number in series: 895
Number of pages: 40
ISBN: 978-952-12-2101-9
ISSN: 1239-1891

Last updated on 2020-06-08 at 04:10