A strategy for efficiently verifying requirements.

Ralph D. Jeffords Constance L. Heitmeyer

Published in: ESEC / SIGSOFT FSE (2003)

Keyphrases

model checking
artificial intelligence
search strategies
database
feature selection
website
three dimensional
bayesian networks
expert systems
information technology
artificial neural networks
control system
search strategy
temporal logic
highly efficient