Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
1 paper
Ocan Sankur, Thierry Jéron, Nicolas Markey +2
We consider the automatic online synthesis of black-box test cases from functional requirements specified as automata for reactive implementations. The goal of the tester is to rea…