See Group colloquium

Tester versus Bug: Model-Based Testing via Game Theory By Mariëlle Stoelinga

Pending to announce...