Model Based Test Generation Tools OVERVIEW (2008)
This report attempts to list the main tools for model based test generation in both the academic and the commercial arena. The aim of the report is to position the AGEDIS tools [1] in the context of...
REVISED FOR SUBMISSION 19/12/03 Problems and Algorithms for Covering Arrays (2008)
Abstract: Covering arrays are combinatorial structures which extend the notion of orthogonal arrays and have applications in the realm of software testing. In this paper we raise several new problems...
2nd uml 2 semantics symposium: Formal semantics for uml (2008)
Manfred Broy, Michelle L. Crane, Juergen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic, ...
Abstract. The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback...
Subdesigns in Steiner Quadruple Systems (2008)
Andrew Granville, Alan Hartman
A Steiner quadruple system of order v, denoted SQS(v), is a pair (X; B) where X is a set of cardinality v, and B is a set of 4-subsets of X (called blocks), with the property that any 3-subset of X...
• All testing is based on a model • MBT occurs when the model is: – formalized – recorded in some form – used for generating test cases or oracles • Model Driven Testing is a special case...
Model driven testing - AGEDIS architecture interfaces and tools (2003)
This article describes the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven test generation and execution for distributed...
Using UML for automatic test generation (2002)
Ra Cavarra, Charles Crichton, Jim Davies, Alan Hartman, Laurent Mounier
Abstract. This paper presents an architecture for model-based verification and testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define...
Construction and resolution of quadruple systems (1980)
Bibliography: leaves 164-166.