Tactic-Based Testing Peter Braun, Benjamin Flach, Reinhard Jeschull, Jan Philipps MBTUC 2011 | Berlin, 18-20 October 2011.