A formal analysis of requirements-based testing.

Charles Pecheur Franco Raimondi Guillaume Brat

Published in: ISSTA (2009)

Keyphrases

formal analysis
formal methods
development lifecycle
test cases
agent model
neural network
high dimensional
query processing
requirements engineering
tool support
ban logic