Test Sequence Generation from Formal Specifications of Distributed Programs.

Richard H. Carver Kuo-Chung Tai

Published in: ICDCS (1995)

Keyphrases

formal specification
object oriented design
specification languages
peer to peer
formal methods
software testing
specification language
distributed systems
model checking
distributed environment
open source
database systems
concurrent systems
database
general purpose
cooperative
information systems