LaTe, a Non-fully Deterministic Testing Language
2006 ◽
pp. 71-86