@misc{indiciaed0711cd8fe85,
  title = {Generic and Efficient Program Monitoring by trace analysis},
  author = {Erwan Jahier and Mireille Ducass'e},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0311016},
  note = {Source identifier: cs/0311016}
}