@article{artho-fmco2006,
  author={C. Artho and A. Biere and S. Honiden},
  title={Exhaustive Testing of Exception Handlers with Enforcer},
  journal={Post-proceedings of 5th Int.\  Symposium on Formal Methods for Components and Objects (FMCO~2006)},
  year={2006},
  volume = {4709},
  number = {},
  pages = {26--46},
  publisher={Springer},
  series = {LNCS},
}