selected publications
-
chapter
- Consistency Testing: The RACE Experience. Lecture Notes in Computer Science. 2000
- Avoiding combinatorial explosion in automatic test generation: Reasoning about measurements is the key. Springer eBooks. 213-226. 1996