A probabilistic coverage for on-the-fly test generation algorithms

Conference object English OPEN
Goga, N. (2003)

This paper describes a way to compute the coverage for an on-the-fly test generation algorithm based on a probabilistic approach. The on-the-fly test generation and execution process and the development process of an implementation from a specification are viewed as a s... View more
Share - Bookmark