@book{ec110f38a7d24559ae00e6173f816169,
title = "Formal Testing of Correspondence Carrying Software",
abstract = "Nowadays formal software development is characterised by use of multitude formal specification languages. Test case generation from formal specifications depends in general on a specific language, and, moreover, there are competing methods for each language. There is a need for a generic approach to formal testing and for sound ways of combining test case generation methods. We address these issues using Correspondence Carrying Software, a paradigm for integrating heterogeneous specifications using viewpoints and category theory. We illustrate our approach with a small example of a train system specified using OCL and Z.",
keywords = "MSC-68N30, EWI-12116, IR-64685, METIS-250911",
author = "M.C. Bujorianu and L.M. Bujorianu and S. Maharaj",
year = "2008",
month = mar,
day = "18",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-08-26",
address = "Netherlands",
}