Technical report detail

Property Templates and Assertions Supporting Runtime Failure Detection

by Jochen Wuttke

In the context of our research program we addressed the question whether or not requirements documents contain information about system level properties that can be exploited to automatically create assertions for run-time checks of these properties. In this technical report we define the concept of property template and report details on the studies we carried out to address this question. The results are presented in the form of a catalog of property templates, and details from the individual studies showing which properties occur in which projects.

Technical report 2008/04, August 2008

BibTex entry

@techreport{08property, author = {Jochen Wuttke}, title = {Property Templates and Assertions Supporting Runtime Failure Detection}, institution = {University of Lugano}, number = {2008/04}, year = 2008, month = aug }