Steffen Helke, Thomas Neustupny, Thomas Santen  Home/Search
Context Related
| first.gmd.de/~espress/publ...veri01.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: first.gmd.de/~esp...gesamt_public (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We use a structure preserving encoding of Z in the higher order logic instance of the generic theorem prover Isabelle to derive test cases from Z specifications. This work shows how advanced theorem provers can be used with little e#ort to provide tool support for Z beyond mere type-checking. Experience with a non-trivial example shows that modular reasoning according to the structure of a speci#cation is crucial to keep the proof-load manageable in practical applications. Support for modular... (Update)
Context of citations to this paper: More
...equivalence classes. A common technique for this partitioning is reduction to disjunctive normal form [DF93, Hor95, Jia93, SCES96, WGS94, HNS97] Establishing operation preconditions prior to executing tests is also a significant concern. Dick and Faivre [DF93] derive a finite...
.... Tool for Specification based Class Testing Leesa Murray David Carrington Ian MacColl Paul Strooper February 1999 Phone: 61 7 3365 1003 Fax: 61 7 3365 1533 http: svrc.it.uq.edu.au Note: Most SVRC technical reports are available via anonymous ftp, from...
Cited by: More
Testing Distributed Component Based Systems Using UML/OCL - Brucker, Wolff (2001) (Correct)
Verification and Testing Report - Deliverable Gmd Forschungszentrum (Correct)
A B C D - Automated Validation of Business Critical Systems with.. - Group (1999) (Correct)
Similar documents (at the sentence level):
55.0%: Automating Test Case Generation from Z Specifications with .. - Helke, Neustupny, Santen (1997) (Correct)
Active bibliography (related documents): More All
0.5: Parallel Accelerated Isocontouring for Out-of-Core.. - Bajaj, Pascucci.. (1999) (Correct)
0.2: Heterogeneous Notations for Pure Formal Method Integration - Paige (1998) (Correct)
0.2: The First Official Crypto-World Rankings - Martin, Rijndael (Correct)
Similar documents based on text: More All
0.1: Specification and Refinement of Secure IT-Systems - Exte Nd Ed (Correct)
0.1: Testing Monadic Code with QuickCheck - Claessen, Hughes (2002) (Correct)
0.1: Concepts for an Extended Type Checker for the Z Specification.. - Burghardt (Correct)
Related documents from co-citation: More All
6: Automating the Generation and Sequencing of Test Cases from Model-Based Specific.. (context) - Dick, Faivre - 1993
4: A specification language advocated for the description of standards (context) - Duke, Rose et al. - 1995
3: Notation: A Reference Manual (context) - Spivey - 1989
BibTeX entry: (Update)
S. Helke, T. Neustupny, and T. Santen. Automating test case generation from Z specifications with Isabelle. In Proccedings of Z Users Meeting '97, 1997. http://citeseer.ist.psu.edu/helke97automating.html More
@inproceedings{ helke97automating,
author = "Steffen Helke and Thomas Neustupny and Thomas Santen",
title = "Automating Test Case Generation from {Z} Specifications with {Isabelle}",
booktitle = "ZUM'97: The Z Formal Specification Notation",
editor = "J. P. Bowen and M. G. Hinchey and D. Till",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "1212",
pages = "52-71",
year = "1997",
url = "citeseer.ist.psu.edu/helke97automating.html" }
Citations (may not include all citations):13 Springer Verlag (context) - Methods - 1993
9 Springer Verlag (context) - Development, pages - 1995
1 Computing Science Consultancy (context) - Systems, Speci et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.first.gmd.de/~espress/gesamt_public.html): More
Test Case Generation on the Basis of Formal Specifications - Sadeghipour (Correct)
A Steam-Boiler Control Specification with Statecharts and Z - Büssow, Weber (1996) (Correct)
The µSZ Notation - Version 1.0 - Büssow, Grieskamp, Klar (1997) (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