Generating Test Cases for Timed Systems from Controlled Natural Language Specifications.

Matthias Schnelte

Published in: SSIRI (2009)

Keyphrases

controlled natural language
artificial intelligence
finite state machines
management system
database systems
distributed systems
complex systems
formal language