Angelo Gargantini, Elvinia Riccobene  Home/Search
Context Related
| dmi.unict.it/garganti/resear...jucs.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: dmi.unict.it/garganti/r...listpub (more) Homepages: A.Gargantini |
Rate this article:      (best)Comment on this article |
Abstract: This paper tackles some aspects concerning the exploitation of Abstract State Machines (ASMs) for testing purposes. We define for ASM specifications a set of adequacy criteria measuring the coverage achieved by a test suite, and determining whether sufficient testing has been performed. We introduce a method to automatically generate from ASM specifications test sequences which accomplish a desired coverage. This method exploits the counter example generation of the model checker SMV. We use... (Update)
Similar documents based on text: More All
0.8: Automatic Model Driven Animation of SCR Specifications - Gargantini, Riccobene (2003) (Correct)
0.6: Formal Analysis of the Kerberos Authentication System - Bella, Riccobene (1997) (Correct)
0.6: An operational model for the SCLP language - Bistarelli, Riccobene (1997) (Correct)
BibTeX entry: (Update)
A. Gargantini and E. Riccobene. ASM-based testing: Coverage criteria and automatic test sequence generation. Journal of Universal Computer Science, 7(11):1050--1067, Nov. 2001. http://citeseer.ist.psu.edu/gargantini01asmbased.html More
@article{ gargantini01asmbased,
author = "A. Gargantini and E. Riccobene",
title = "{ASM}-Based Testing: Coverage Criteria and Automatic Test Sequence",
journal = "J.UCS: Journal of Universal Computer Science",
volume = "7",
number = "11",
pages = "1050+",
year = "2001",
url = "citeseer.ist.psu.edu/gargantini01asmbased.html" }
Citations (may not include all citations):237 Software Testing Techniques (context) - Beizer - 1983
206 The Art of Software Testing (context) - Myers - 1979
82 A formal model of program dependences and its implications f.. (context) - Podgurski, Clarke - 1990
79 Specification-based test oracles for reactive systems - Richardson, Aha et al. - 1992
69 Principles and methods of testing finite state machines - A .. - Lee, Yannakakis - 1996
61 Test selection based on finite state models - Fujiwara, Bochmann et al. - 1991
46 A framework for specification-based testing (context) - Stocks, Carrington - 1996
38 A formal analysis of the fault-detecting ability of testing .. - Frankl, Weyuker - 1993
35 Automatically generating test data from a Boolean specificat.. (context) - Weyuker, Goradia et al. - 1994
34 Using model checking to generate tests from specifications - Ammann, Black et al. - 1998
32 Using model checking to generate tests from requirements spe.. - Gargantini, Heitmeyer - 1999
23 Sequential Abstract State Machines capture Sequential Algori.. (context) - Gurevich - 2000
20 Applicability of modified condition/decision coverage to sof.. (context) - Chilenski, Miller - 1994
16 Test generation for intelligent networks using model checkin.. - Engels, Feijs et al. - 1997
14 specifications in category partition testing (context) - Amla, Ammann et al. - 1992
[Article contains additional citations not shown here]
Documents on the same site (http://www.dmi.unict.it/garganti/research/listpub.html): More
A theory of implementation and refinement in timed Petri.. - Felder, Gargantini.. (1998) (Correct)
Using Model Checking to Generate Tests from Requirements.. - Gargantini, Heitmeyer (1999) (Correct)
Dealing With Zero-Time Transitions in Axiom Systems - Gargantini, Mandrioli.. (1999) (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