Gergely Pintér, István Majzik. Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. In Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany. pages 111-120, IEEE Computer Society, 2005. [doi]
Abstract is missing.