Pascale Le Gall

Laboratoire

Mathématiques et Informatique pour la Complexité et les Systèmes

Mots cles

informatique - méthodes formelles - test de conformité - transformations de graphes - exécution symbolique - modèles des systèmes distribués et temporisés - modélisation géométrique

Publications (29)

Communication dans un congrè 03/09/2024

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

Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall

Communication dans un congrè 03/09/2024

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks

Ngo Minh Thang Nguyen , Boutheina Bannour , Arnault Lapitre , Pascale Le Gall

Rapport 03/09/2024

Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine

Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto

Chapitre d'ouvrage 03/09/2024

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

Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto

Communication dans un congrè 03/09/2024

Generation of All-Paths Unit Test with Function Calls

Patricia Mouy , Bruno Marre , Nicky Williams , Pascale Le Gall

Communication dans un congrè 03/09/2024

An implementation relation and test framework for timed distributed systems

Christophe Gaston , Robert M. Hierons , Pascale Le Gall

Chapitre d'ouvrage 16/07/2024

Transformations de graphes décorés

Pascale Le Gall , Romain Pascual

Communication dans un congrè 04/06/2024

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions

Thomas Bellet , Agnès Arnould , Hakim Belhaouari , Pascale Le Gall

Ouvrage 03/04/2024

Testing Software and Systems

Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall

Article dans une revue 05/03/2024

Complex software systems : Formalization and Applications

Marc Aiguier , Pascale Le Gall , Mbarka Mabrouki