Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. - Imen Boudhiba; Christophe Gaston; Pascale Le Gall; Virgile Prevosto (ICTSS, 2015)

Symbolic Execution of Transition Systems with Function Summaries. - Imen Boudhiba; Christophe Gaston; Pascale Le Gall; Virgile Prevosto (TAP@STAF, 2017)