Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Juergen Dingel  Home/Search
Context Related
| cs.queensu.ca/home/c...Zhang_DEBS04.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.queensu.ca/home/cordy...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: software verification and validation (V&V) is becoming increasingly important. Model checking and testing are two of the main V&V methods. In this paper, we present a framework that allows for testing and formal modeling and analysis to be combined. More precisely, we describe a framework for model checking and testing implicit invocation software. The framework includes a new programming language -- the Implicit Invocation Language (IIL), and a set of formal rule-based transformation tools... (Update)
Similar documents based on text: More All
1.0: Testing and Model Checking Implicit-Invocation.. - Bradbury, Zhang.. (2004) (Correct)
0.5: A Classification of Formal Specifications for.. - Bradbury, Cordy.. (2004) (Correct)
0.2: Concurrency Analysis of Java RMI Using Source.. - Cassidy, Dean, Cordy, .. (Correct)
BibTeX entry: (Update)
H. Zhang, J. S. Bradbury, J. R. Cordy, and J. Dingel. A transformational framework for testing and model checking implicit-invocation systems. In Proc. of the Int. Work. on Distributed Event-Based Systems (DEBS '04), May 2004. http://citeseer.ist.psu.edu/zhang04transformational.html More
@misc{ zhang04transformational,
author = "H. Zhang and J. Bradbury and J. Cordy and J. Dingel",
title = "A transformational framework for testing and model checking implicit-invocation
systems",
text = "H. Zhang, J. S. Bradbury, J. R. Cordy, and J. Dingel. A transformational
framework for testing and model checking implicit-invocation systems. In
Proc. of the Int. Work. on Distributed Event-Based Systems (DEBS '04), May
2004.",
year = "2004",
url = "citeseer.ist.psu.edu/zhang04transformational.html" }
Citations (may not include all citations):270 Bandera: Extracting finite-state models from Java source cod.. - Corbett, Dwyer et al. - 2000
173 Design and evaluation of a wide-area event notification serv.. - Carzaniga, Rosenblum et al. - 2001
131 An event-based architecture definition language - Luckham, Vera - 1995
75 Elvin has left the building: A publish /subscribe notificati.. (context) - Segall, Arnold - 1997
54 Reconciling environment integration and software evolution (context) - Sullivan, Notkin - 1990
24 Cadence Berkeley Labs (context) - McMillan, Language - 1999
23 Source transformation in software engineering using the TXL .. (context) - Cordy, Dean et al. - 2002
21 Adding implicit invocation to traditional programming langua.. (context) - Garlan, Scott - 1993
17 Model checking implicitinvocation systems (context) - Garlan, Khersonsky - 2000
15 and verification environment for component-based systems (context) - Hatcliff, Deng et al. - 2003
9 An automated verification method for distributed systems sof.. (context) - Holzmann, Smith - 2002
8 Model checking publish-subscribe systems - Garlan, Khersonsky et al. - 2003
5 Evaluating and improving the automatic analysis of implicit .. (context) - Bradbury, Dingel - 2003
5 The Turing Plus report (context) - Holt, Cordy - 1987
4 An object-oriented event calculus - Patterson - 2002
[Article contains additional citations not shown here]
Documents on the same site (http://www.cs.queensu.ca/home/cordy/papers.html): More
Agile Parsing in TXL - Dean, Cordy, Malton, Schneider (2003) (Correct)
A Survey of Table Recognition: Models, Observations.. - Zanibbi, Blostein, Cordy (2003) (Correct)
Testing and Model Checking Implicit-Invocation.. - Bradbury, Zhang.. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC