Author:
Bannour Boutheina,Lapitre Arnault,Gall Pascale Le
Publisher
Springer International Publishing
Reference30 articles.
1. Lecture Notes in Computer Science;A Griesmayer,2009
2. Alur, R., Dill, D.: A theory of timed automata. J. Theor. Comput. Sci. 126(2), 183–235 (1994)
3. Lecture Notes in Computer Science;B Bannour,2012
4. Lecture Notes in Computer Science;B Bannour,2021
5. Cadar, C., Dunbar, D., Engler, R., Klee, D.: unassisted and automatic generation of high-coverage tests for complex systems programs. In: USENIX (2008)