@inproceedings{ChimentoAhrendtSchneider18,
  year		= 2018,
  booktitle	= {FormaliSE: 6th International Conference on Formal Methods in Software Engineering},
  editor	= {Paola Spoletini and Patrizio Pelliccione},
  title		= {Testing Meets Static and Runtime Verification},
  author	= {Chimento, Jes\'us Mauricio and Ahrendt, Wolfgang and Schneider, Gerardo},
  publisher     = {ACM}
}