Hans-Gerhard Gross, Colin Atkinson, Franck Barbier. Component Integration through Built-in Contract Testing.
Component-Based Software Quality - Methods and Techniques, 2003, Unknown, Unknown Region. pp.159-183,
⟨10.1007/978-3-540-45064-1_8⟩.
⟨hal-01912343⟩