Testing and model checking implicit-invocation systems using automated (2004).

Content Provider	CiteSeerX
Author	Bradbury, Jeremy S. Zhang, Hongyu Cordy, James R. Dingel, Juergen
Abstract	In this paper, we present a framework that allows for testing and model checking of implicit-invocation systems. The framework includes a new programming language -- the Implicit-Invocation Language (IIL), and a set of formal rule-based transformation tools that allow automatic generation of executable and formal verification artifacts. We provide details on the design of these formal rule-based transformation tools. We then evaluate the framework and show results that demonstrate the benefits of our automatic transformations in this context. We hope that our approach will allow us to advance the state-of-the-art of testing and model checking implicit-invocation and further explore the use of automated transformation for the verification and validation of event-based systems. Moreover, we plan on using the approach to examine the relationship and possible synergies between testing and model checking and gain insight into their combined benefits.
File Format	PDF
Publisher Date	2004-01-01
Access Restriction	Open
Subject Keyword	Formal Rule-based Transformation Tool Model Checking Automatic Transformation New Programming Language Automated Transformation Gain Insight Possible Synergy Combined Benefit Implicit-invocation Language Implicit-invocation System Automatic Generation Formal Verification Artifact Show Result Event-based System
Content Type	Text