Formal Specifications and Test: Correctness and Oracle.

Pascale Le Gall Agnès Arnould

Published in: COMPASS/ADT (1995)

Keyphrases

formal specification
software testing
object oriented design
specification languages
process algebra
concurrent systems
model checking
formal methods
oracle database
specification language
test cases
databases
database
software systems
design methodology
object oriented
high level