Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts.
The 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates.
⟨cea-01810689⟩