Volume 8,
Number 1,
September 1999
Volume 8,
Number 2,
1999
Volume 8,
Number 3,
November 1999
Volume 8,
Number 4,
December 1999
- Anna Liu, Paddy Nixon:
Guest Editorial.
239-240 BibTeX
- J. Jenny Li, Joseph Robert Horgan:
cSuds-SDL: A Tool for Testing Software Architecture Specifications.
241-253 BibTeX
- John A. Keane, Walter Hussak:
A Design Phase Directed Formal Verification Process.
255-269 BibTeX
- Ana Maria Ambrosio, Luciana Seda C. Gonçalves, Paulo Eduardo Cardoso:
An Experience in Testing an Object-Oriented Satellite Control System.
271-283 BibTeX
- Simone do Rocio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza:
Mutation Testing Applied to Estelle Specifications.
285-301 BibTeX
- Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio:
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems.
303-320 BibTeX
- Jessica Chen:
On Verifying Distributed Multithreaded Java Programs.
321-341 BibTeX
Copyright © Sun May 17 00:22:36 2009
by Michael Ley (ley@uni-trier.de)