Boutheina Bannour

How to Choose a Nonparametric Frontier Model? Technical Efficiency of Turkish Banks Assessing Global

M. Nurunnabi, Boutheina Bannour, Asma Sghaier, 2018, Global Business Review.

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios

Sébastien Gérard, Christophe Gaston, Arnaud Cuccuru, 2014, CSDM.

A small-step approach to multi-trace checking against interactions pdf

Christophe Gaston, Pascale Le Gall, Boutheina Bannour, 2020, SAC.

Security Weaknesses Detection by Symbolic Analysis of Scenarios

Gabriel Pedroza, Christophe Gaston, Pascale Le Gall, 2014, 2014 21st Asia-Pacific Software Engineering Conference.

Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing

David Servat, Christophe Gaston, Boutheina Bannour, 2011, 2011 18th Asia-Pacific Software Engineering Conference.

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Christophe Gaston, Pascale Le Gall, Boutheina Bannour, 2012, ICTSS.

A Term-based Approach for Generating Finite Automata from Interaction Diagrams

Boutheina Bannour, P. L. Gall, Christophe Gaston, 2023, ArXiv.

Message from the RTSS@Work Chair

Andrea Bastoni, Boutheina Bannour, N. Dutt, 2022 .