Heckel, Reiko, Tamim Khan, and Rodrigo Machado. 2011. “Towards Test Coverage Criteria for Visual Contracts”. Electronic Communications of the EASST 41 (October). https://doi.org/10.14279/tuj.eceasst.41.667.