11 citations · 37 across the 13 of their papers we have counts for
1 paper · 2 filters
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between the tester a…