The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arnaud Gotlieb: [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. Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert
    Boosting the Interval Narrowing Algorithm. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:378-392 [Conf]
  5. Matthieu Petit, Arnaud Gotlieb
    Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:471-472 [Conf]
  6. Arnaud Gotlieb
    Exploiting Symmetries to Test Programs. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2003, pp:365-374 [Conf]
  7. 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]
  8. Arnaud Gotlieb, Matthieu Petit
    Path-oriented random testing. [Citation Graph (0, 0)][DBLP]
    Random Testing, 2006, pp:28-35 [Conf]
  9. 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]
  10. Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
    Proving or Disproving likely Invariants with Constraint Reasoning. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:1-13 [Conf]
  11. Sandrine-Dominique Gouraud, Arnaud Gotlieb
    Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:1-15 [Conf]
  12. Arnaud Gotlieb, Patrick Bernard
    A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:329-336 [Conf]
  13. Olivier Lhomme, Arnaud Gotlieb, Michel Rueher
    Dynamic Optimization of Interval Narrowing Algorithms. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:37, n:1-3, pp:165-183 [Journal]
  14. 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]
  15. 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]
  16. Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
    An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:241-255 [Conf]
  17. Matthieu Petit, Arnaud Gotlieb
    Boosting Probabilistic Choice Operators. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:559-573 [Conf]
  18. 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]

  19. Constraint Reasoning in Path-Oriented Random Testing. [Citation Graph (, )][DBLP]


  20. Towards a Theory for Testing Non-terminating Programs. [Citation Graph (, )][DBLP]


  21. Improving Constraint-Based Testing with Dynamic Linear Relaxations. [Citation Graph (, )][DBLP]


  22. Uniform Selection of Feasible Paths as a Stochastic Constraint Problem. [Citation Graph (, )][DBLP]


  23. Euclide: A Constraint-Based Testing Framework for Critical C Programs. [Citation Graph (, )][DBLP]


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


  25. Proving or Disproving likely Invariants with Constraint Reasoning [Citation Graph (, )][DBLP]


  26. On Testing Constraint Programs [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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