The FTCRL Reference Guide (for Version 1.0)
No Thumbnail Available
Date
2014-08
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
In this document we present a language called Fastest Test Case Re nement Language (FTCRL).
FTCRL is a general method for translating abstract test cases produced by Fastest into a set of
programs of some programming language.
Keywords
FASTEST, Software test, test cases