1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall +1
This paper focuses on generating test cases from timed symbolic transition systems. At the heart of the generation process are symbolic execution techniques on data and time. Test…