2014-11-282014-11-282014-08http://hdl.handle.net/2133/3740In 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.application/pdfengopenAccessFASTESTSoftware testtest casesreport