Automatic Generation of State Invariants from Requirements Specifications.

Ralph D. Jeffords Constance L. Heitmeyer

Published in: SIGSOFT FSE (1998)

Keyphrases

written in natural language
automatically generate
real time
machine learning
social networks
computer vision
knowledge base
color images
application specific
user requirements
functional requirements
real time systems
delay insensitive