LaTe, a Non-fully Deterministic Testing Language.

Emmanuel de Rosière Claude Jard Benoit Parreaux LaTe, a Non-fully Deterministic Testing Language. 71-86 2006 conf/pts/2006 TestCom http://dx.doi.org/10.1007/11754008_5 db/conf/pts/testcom2006.html#RosiereJP06