@inproceedings{BormerWagner2010,
  author       = {Thorsten Bormer and Markus Wagner},
  title        = {Towards Testing a Verifying Compiler},
  editor       = {Bernhard Beckert and Claude March{\'e}},
  booktitle    = {Formal Verification of Object-Oriented Software,
                  Papers presented at the International Conference},
  publisher    = {Karlsruhe Institute of Technology, Technical Report},
  volume       = {KIT-INFO-TR 2010-13}
}