TY - RPRT TI - Integration Testing of Heterotic Systems AU - Marian Gheorghe AU - Mike Stannett PY - 2014 UR - https://arxiv.org/abs/1408.2674 ID - 1408.2674 ER -