Run-time conformance checking of mobile and distributed systems using executable models.

Ahmad A. Saifan, Ernesto Posse, Jrgen Dingel

Browse the full ISSTA paper archive.