Formal derivation of finite state machines for class testing

• 30 July 2006
• book chapter
• Published by Springer Nature
• p. 42-59
• https://doi.org/10.1007/bfb0056024

Abstract

Keywords

• STATE MACHINE
• BUILD
• CLASS TESTING
• CLASSBENCH
• DERIVATION OF FINITE
• FORMALLY DERIVED FINITE