| 2008 |
|---|
| 13 | EE | Patricia Mouy,
Bruno Marre,
Nicky Williams,
Pascale Le Gall:
Generation of All-Paths Unit Test with Function Calls.
ICST 2008: 32-41 |
| 2005 |
|---|
| 12 | EE | Nicky Williams,
Bruno Marre,
Patricia Mouy,
Muriel Roger:
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.
EDCC 2005: 281-292 |
| 11 | 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 |
| 10 | EE | Bruno Marre,
Benjamin Blanc:
Test Selection Strategies for Lustre Descriptions in GATeL.
Electr. Notes Theor. Comput. Sci. 111: 93-111 (2005) |
| 2004 |
|---|
| 9 | EE | Nicky Williams,
Bruno Marre,
Patricia Mouy:
On-the-Fly Generation of K-Path Tests for C Functions.
ASE 2004: 290-293 |
| 2000 |
|---|
| 8 | EE | Bruno Marre,
Agnès Arnould:
Test Sequences Generation from LUSTRE Descriptions: GATeL.
ASE 2000: 229- |
| 1996 |
|---|
| 7 | | Agnès Arnould,
Pascale Le Gall,
Bruno Marre:
Dynamic Testing from Bounded Data Type Specifications.
EDCC 1996: 285-302 |
| 1995 |
|---|
| 6 | | Bruno Marre:
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications.
TAPSOFT 1995: 799-800 |
| 1993 |
|---|
| 5 | EE | Pierre Dauchy,
Marie-Claude Gaudel,
Bruno Marre:
Using algebraic specifications in software testing: A case study on the software of an automatic subway.
Journal of Systems and Software 21(3): 229-244 (1993) |
| 1991 |
|---|
| 4 | | Gilles Bernot,
Marie-Claude Gaudel,
Bruno Marre:
A Formal Approach to Software Testing.
AMAST 1991: 243-253 |
| 3 | | Pierre Dauchy,
Bruno Marre:
Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module.
ESEC 1991: 80-100 |
| 2 | | Bruno Marre:
Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming.
ICLP 1991: 202-219 |
| 1989 |
|---|
| 1 | | Bruno Marre:
Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique.
SPLT 1989: 213- |
