Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Generation of Test Cases from a Finite-State, Object-Oriented Speciation



Leonard J. Gallagher


The goal of this document is to help W3C editors write better specifications, by making a specification easier to interpret without ambiguity and clearer as to what is required in order to conform. It focuses on how to define and specify conformance. It also addresses how a specification might allow variation among conforming implementations. The document presents guidelines or requirements, supplemented with good practices, examples and techniques.


Gallagher, L. (2005), Generation of Test Cases from a Finite-State, Object-Oriented Speciation, NISTGCR, [online], internal:/None (Accessed April 19, 2024)
Created December 1, 2005, Updated February 17, 2017