Anthony T. Rivers, Mladen A. Vouk: Resource-constrained non-operational testing of software. ISSRE 1998: 154-163