Case Studies with Lurette V2.

Abstract:
Lurette is an automated testing tool dedicated to reactive programs. In this new version, the main novelty resides in the way the System Under Test (SUT) environment is described. This article presents some cases studies comming from the IST project Safeair II. The aim is to illustrate the usefulness of Lurette on real case studies, and the expressiveness of the new language used to describe the SUT environment.

Reference:

@inproceedings{isola04,
author = {E. Jahier and P. Raymond and P. Baufreton},
title = {Case Studies with Lurette V2},
booktitle={1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004},
address={Paphos, Cyprus},
month=oct,
year=2004
}

PDF file