| 2008 |
|---|
| 24 | EE | Marie-Claude Gaudel,
Pascale Le Gall:
Testing Data Types Implementations from Algebraic Specifications.
Formal Methods and Testing 2008: 209-239 |
| 23 | EE | Marie-Claude Gaudel,
Pascale Le Gall:
Testing data types implementations from algebraic specifications
CoRR abs/0804.0970: (2008) |
| 2007 |
|---|
| 22 | EE | Marc Aiguier,
Agnès Arnould,
Pascale Le Gall,
Delphine Longuet:
Test Selection Criteria for Quantifier-Free First-Order Specifications.
FSEN 2007: 144-159 |
| 21 | EE | Pascale Le Gall,
Nicolas Rapin,
Assia Touil:
Symbolic Execution Techniques for Refinement Testing.
TAP 2007: 131-148 |
| 20 | EE | Alain Faivre,
Christophe Gaston,
Pascale Le Gall:
Symbolic Model Based Testing for Component Oriented Systems.
TestCom/FATES 2007: 90-106 |
| 2006 |
|---|
| 19 | EE | Marc Aiguier,
Karim Berkani,
Pascale Le Gall:
Feature Specification and Static Analysis for Interaction Resolution.
FM 2006: 364-379 |
| 18 | EE | Christophe Gaston,
Pascale Le Gall,
Nicolas Rapin,
Assia Touil:
Symbolic Execution Techniques for Test Purpose Definition.
TestCom 2006: 1-18 |
| 2005 |
|---|
| 17 | EE | Marc Aiguier,
Pascale Le Gall,
Delphine Longuet,
Assia Touil:
A Temporal Logic for Input Output Symbolic Transition Systems.
APSEC 2005: 43-50 |
| 16 | EE | Marc Aiguier,
Agnès Arnould,
Clément Boin,
Pascale Le Gall,
Bruno Marre:
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.
FATES 2005: 203-217 |
| 15 | | Helene Jouve,
Pascale Le Gall,
Sophie Coudert:
An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications.
FIW 2005: 131-146 |
| 2003 |
|---|
| 14 | | Karim Berkani,
Rémy Cave,
Sophie Coudert,
Francis Klay,
Pascale Le Gall,
Farid Ouabdesselam,
Jean-Luc Richier:
An Environment for Interactive Service Specification.
FIW 2003: 25-41 |
| 2002 |
|---|
| 13 | EE | Marc Aiguier,
Christophe Gaston,
Pascale Le Gall:
Feature Logics and Refinement.
APSEC 2002: 385- |
| 12 | EE | Franck Ledoux,
Jean-Marc Mota,
Agnès Arnould,
Catherine Dubois,
Pascale Le Gall,
Yves Bertrand:
Spécifications formelles du chanfreinage.
Technique et Science Informatiques 21(8): 1073-1098 (2002) |
| 11 | EE | Agnès Arnould,
Pascale Le Gall:
Test de conformité : une approche algébrique.
Technique et Science Informatiques 21(9): 1219-1242 (2002) |
| 2001 |
|---|
| 10 | EE | Franck Ledoux,
Agnès Arnould,
Pascale Le Gall,
Yves Bertrand:
Geometric Modelling with CASL.
WADT 2001: 176-200 |
| 2000 |
|---|
| 9 | EE | Sophie Coudert,
Pascale Le Gall:
A Reuse-Oriented Framework for Hierarchical Specifications.
AMAST 2000: 438-453 |
| 1998 |
|---|
| 8 | EE | Sophie Coudert,
Gilles Bernot,
Pascale Le Gall:
Hierarchical Heterogeneous Specifications.
WADT 1998: 107-121 |
| 1997 |
|---|
| 7 | EE | Gilles Bernot,
Laurent Bouaziz,
Pascale Le Gall:
A Theory of Probabilistic Functional Testing.
ICSE 1997: 216-226 |
| 1996 |
|---|
| 6 | | Gilles Bernot,
Sophie Coudert,
Pascale Le Gall:
Towards Heterogeneous Formal Specification.
AMAST 1996: 458-472 |
| 5 | | Agnès Arnould,
Pascale Le Gall,
Bruno Marre:
Dynamic Testing from Bounded Data Type Specifications.
EDCC 1996: 285-302 |
| 1995 |
|---|
| 4 | | Pascale Le Gall,
Agnès Arnould:
Formal Specifications and Test: Correctness and Oracle.
COMPASS/ADT 1995: 342-358 |
| 1994 |
|---|
| 3 | | Gilles Bernot,
Pascale Le Gall,
Marc Aiguier:
Label Algebras and Exception Handling.
Sci. Comput. Program. 23(2-3): 227-286 (1994) |
| 1993 |
|---|
| 2 | | Gilles Bernot,
Pascale Le Gall:
Exception Handling and Term Labelling.
TAPSOFT 1993: 421-436 |
| 1991 |
|---|
| 1 | | Gilles Bernot,
Pascale Le Gall:
Label Algebras: A Systematic Use of Terms.
COMPASS/ADT 1991: 144-163 |
