Imen Boudhiba

According to our database, Imen Boudhiba authored at least 2 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Symbolic Execution of Transition Systems with Function Summaries.

Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto

Proceedings of the Tests and Proofs - 11th International Conference, 2017

2015

Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts.

Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto

Proceedings of the Testing Software and Systems, 2015