@misc{indiciae1455e0715d1b,
  title = {Simplifying Contract-Violating Traces},
  author = {Christian Colombo and Adrian Francalanza and Ian Grima},
  year = {2012},
  doi = {10.4204/eptcs.94.2},
  url = {https://arxiv.org/abs/1209.2681},
  note = {Source identifier: 1209.2681}
}