A Framework for Efficient Contract-Based Testing of Software Components. - Egon Valentini; Gerhard Fliess; Edmund Haselwanter (COMPSAC (2), 2005)