SaifanDBP11'

@inproceedings{DBLP:conf/icst/SaifanDBP11,
  author    = {Ahmad A. Saifan and
               J{\"u}rgen Dingel and
               Jeremy S. Bradbury and
               Ernesto Posse},
  title     = {Implementing and Evaluating a Runtime Conformance Checker
               for Mobile Agent Systems},
  booktitle = {ICST},
  year      = {2011},
  pages     = {269-278},
  ee        = {http://dx.doi.org/10.1109/ICST.2011.62},
  crossref  = {DBLP:conf/icst/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icst/2011,
  title     = {IEEE Fourth International Conference on Software Testing,
               Verification and Validation, ICST 2011, Berlin, Germany,
               21-25 March 2011},
  booktitle = {ICST},
  publisher = {IEEE Computer Society},
  year      = {2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}