the international journal on advances in systems and measurements is published by iaria .
Korat: automated testing based on Java predicates