LaTe, a Non-fully Deterministic Testing Language
This paper presents a case study which is the test of a voice-based service. To develop this application, we propose new functionalities for testing languages and a new language called LaTe that implements them. 
 
With LaTe, one testing scenario can describe several different executions and the interpreter tries to find the execution that best fits with the real behavior of the System Under Testing (SUT). 
 
We propose an operational semantics of these non-deterministic operators. Experimental results of the test of the voice-based service are also included.