Login / Signup
Imen Boudhiba
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 1
Top Topics
Transition Systems
Finite State
Test Data Generation
Temporal Logic
Top Venues
ICTSS
TAP@STAF
</>
Publications
</>
Imen Boudhiba
,
Christophe Gaston
,
Pascale Le Gall
,
Virgile Prevosto
Symbolic Execution of Transition Systems with Function Summaries.
TAP@STAF
(2017)
Imen Boudhiba
,
Christophe Gaston
,
Pascale Le Gall
,
Virgile Prevosto
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts.
ICTSS
(2015)