Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System.

Hye Yeon Kim Frederick T. Sheldon

Published in: Softw. Qual. J. (2004)

Keyphrases

control system
software requirements
regression testing
control software
artificial intelligence
knowledge representation
learning objects
programming language
test cases
closed loop
test suite