χSuds-SDL: A Tool for Testing Software Architecture Specifications J. Jenny LiJ. Robert Horgan OriginalPaper Pages: 241 - 253
A Design Phase Directed Formal Verification Process John A. KeaneWalter Hussak OriginalPaper Pages: 255 - 269
An Experience in Testing an Object-Oriented Satellite Control System Ana Maria AmbrosioLuciana Seda C. GonçalvesPaulo Eduardo Cardoso OriginalPaper Pages: 271 - 283
Mutation Testing Applied to Estelle Specifications Simone do Rocio Senger de SouzaJosé Carlos MaldonadoWanderley Lopes de Souza OriginalPaper Pages: 285 - 301
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems Eliane MartinsSelma B. SabiãoAna Maria Ambrosio OriginalPaper Pages: 303 - 320