Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel. Run-time conformance checking of mobile and distributed systems using executable models. In Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer, editors, Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009. ACM, 2009. [doi]
Abstract is missing.