Journals in DBLP

Software Quality Journal
1999, volume: 8, number: 4

1. Anna Liu, Paddy Nixon
   Guest Editorial. [Citation Graph (0, 0)][DBLP]
   Software Quality Journal, 1999, v:8, n:4, pp:239-240 [Journal]
   
2. J. Jenny Li, Joseph Robert Horgan
   cSuds-SDL: A Tool for Testing Software Architecture Specifications. [Citation Graph (0, 0)][DBLP]
   Software Quality Journal, 1999, v:8, n:4, pp:241-253 [Journal]
   
3. John A. Keane, Walter Hussak
   A Design Phase Directed Formal Verification Process. [Citation Graph (0, 0)][DBLP]
   Software Quality Journal, 1999, v:8, n:4, pp:255-269 [Journal]
   
4. Ana Maria Ambrosio, Luciana Seda C. Gonçalves, Paulo Eduardo Cardoso
   An Experience in Testing an Object-Oriented Satellite Control System. [Citation Graph (0, 0)][DBLP]
   Software Quality Journal, 1999, v:8, n:4, pp:271-283 [Journal]
   
5. Simone do Rocio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza
   Mutation Testing Applied to Estelle Specifications. [Citation Graph (0, 0)][DBLP]
   Software Quality Journal, 1999, v:8, n:4, pp:285-301 [Journal]
   
6. Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio
   ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems. [Citation Graph (0, 0)][DBLP]
   Software Quality Journal, 1999, v:8, n:4, pp:303-320 [Journal]
   
7. Jessica Chen
   On Verifying Distributed Multithreaded Java Programs. [Citation Graph (0, 0)][DBLP]
   Software Quality Journal, 1999, v:8, n:4, pp:321-341 [Journal]