selected publications chapter Avoiding combinatorial explosion in automatic test generation: Reasoning about measurements is the key. Springer eBooks. 213-226. 1996