Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse. Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. In IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, 21-25 March 2011. pages 269-278, IEEE Computer Society, 2011. [doi]
Abstract is missing.