The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernard Botella: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arnaud Gotlieb, Bernard Botella, Michel Rueher
    A CLP Framework for Computing Structural Test Data. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:399-413 [Conf]
  2. Arnaud Gotlieb, Bernard Botella
    Automated Metamorphic Testing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:34-40 [Conf]
  3. Arnaud Gotlieb, Tristan Denmat, Bernard Botella
    Goal-Oriented Test Data Generation for Programs with Pointer Variables. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:449-454 [Conf]
  4. Corinne Bos, Bernard Botella, Philippe Vanheeghe
    Modelling and Simulating Human Behaviours with Conceptual Graphs. [Citation Graph (0, 0)][DBLP]
    ICCS, 1997, pp:275-289 [Conf]
  5. Arnaud Gotlieb, Bernard Botella, Michel Rueher
    Automatic Test Data Generation Using Constraint Solving Techniques. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:53-62 [Conf]
  6. Arnaud Gotlieb, Tristan Denmat, Bernard Botella
    Constraint-based test data generation in the presence of stack-directed pointers. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:313-316 [Conf]
  7. Bernard Botella, Arnaud Gotlieb, Claude Michel
    Symbolic execution of floating-point computations. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2006, v:16, n:2, pp:97-121 [Journal]
  8. Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert
    Utilisation des contraintes pour la génération automatique de cas de test structurels. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:9, pp:1163-1187 [Journal]
  9. Arnaud Gotlieb, Tristan Denmat, Bernard Botella
    Goal-oriented test data generation for pointer programs. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2007, v:49, n:9-10, pp:1030-1044 [Journal]

  10. Automating Structural Testing of C Programs: Experience with PathCrawler. [Citation Graph (, )][DBLP]


  11. Explanation-Based Generalization of Infeasible Path. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002