Pessimistic Testing

Abstract

We propose a new approach to testing conformance to a nondeterministic specification, in which testing proceeds only as long as increased test coverage is guaranteed.

2 pages, 3 refrences