@inproceedings{CFG12shrinking,
  author    = {Christian Colombo and
               Adrian Francalanza and
               Ian Grima},
  title     = {Simplifying Contract-Violating Traces},
  booktitle = {Proceedings Sixth Workshop on Formal Languages and Analysis
               of Contract-Oriented Software},
  year      = {2012},
  pages     = {11-20},
  series    = {EPTCS},
  volume    = {94},
}