Chapter 13 Test Generation from Formal Specifications

Requirements serve as the basis of test generation, and once an acceptable set of specifications is obtained, it serves as input to a variety of processing tasks, one of which is processing tasks.