Applications of Sufficient Conditions for Efficient Protocol Test Generation.

Anthony Chung Deepinder P. Sidhu

Published in: Protocol Test Systems (1992)

Keyphrases

sufficient conditions
test generation
asymptotic stability
exponential stability
linear systems
linear complementarity problem
lyapunov function
database
design automation
data sets
genetic algorithm
test cases
software testing
static analysis
efficiently computable