The SCEAS System
Navigation Menu

Search the dblp DataBase


Bruno Marre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  13. Generation of All-Paths Unit Test with Function Calls. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002