Structural Specification-Based Testing with ADL.

Juei Chang Debra J. Richardson Sriram Sankar

Published in: ISSTA (1996)

Keyphrases

test case generation
formal verification
test cases
structural information
structural analysis
website
web services
expert systems
description language
formal methods
structural models
provably correct