@inproceedings{BS08,
author =      {H. Bohnenkamp and M.I.A. Stoelinga},
title =       {Quantitative Testing},
booktitle =   {{EMSOFT 08}: 8th ACM & IEEE Conference on Embedded Software},
editor =      {L. de Alfaro and J. Palsberg},
publisher =   {ACM},
year =        2008,
pages =       {227-236},
}