Search the dblp DataBase

Publications of Author

1. Guillaume Lussier, Hélène Waeselynck, Karim Guennoun
   Proof-Guided Testing: An Experimental Study. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 2004, pp:528-533 [Conf]
   
2. Hélène Waeselynck, Pascale Thévenod-Fosse
   A Case Study in Statistical Testing of Reusable Concurrent Objects. [Citation Graph (0, 0)][DBLP]
   EDCC, 1999, pp:401-418 [Conf]
   
3. Salimeh Behnia, Hélène Waeselynck
   Test Criteria Definition for B Models. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:509-529 [Conf]
   
4. Pascale Thévenod-Fosse, Hélène Waeselynck
   Towards a Statistical Approach to Testing Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
   FTCS, 1997, pp:99-108 [Conf]
   
5. Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet
   An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation. [Citation Graph (0, 0)][DBLP]
   FTCS, 1991, pp:410-417 [Conf]
   
6. Hélène Waeselynck, Salimeh Behnia
   B Model Animation for External Verification. [Citation Graph (0, 0)][DBLP]
   ICFEM, 1998, pp:36-45 [Conf]
   
7. Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand
   Testing levels for object-oriented software. [Citation Graph (0, 0)][DBLP]
   ICSE, 2000, pp:136-145 [Conf]
   
8. Philippe David, Hélène Waeselynck, Yves Crouzet
   Open source software in critical systems: Motivation and challenges. [Citation Graph (0, 0)][DBLP]
   IFIP Congress Topical Sessions, 2004, pp:667-678 [Conf]
   
9. Guillaume Lussier, Hélène Waeselynck
   Deriving Test Sets from Partial Proofs. [Citation Graph (0, 0)][DBLP]
   ISSRE, 2004, pp:14-24 [Conf]
   
10. Guillaume Lussier, Hélène Waeselynck
    Informal Proof Analysis Towards Testing Enhancement. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2002, pp:27-40 [Conf]
    
11. Pascale Thévenod-Fosse, Hélène Waeselynck
    STATEMATE Applied to Statistical Software Testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:99-109 [Conf]
    
12. Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck
    Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:1128-1134 [Conf]
    
13. Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour
    Simulated annealing applied to test generation: landscape characterization and stopping criteria. [Citation Graph (0, 0)][DBLP]
    Empirical Software Engineering, 2007, v:12, n:1, pp:35-63 [Journal]
    
14. Hélène Waeselynck, Dietmar Pfahl
    System Dynamics Applied to the Modelling of Software Projects. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1994, v:15, n:4, pp:162-176 [Journal]
    
15. Pascale Thévenod-Fosse, Hélène Waeselynck
    An Investigation of Statistical Software Testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1991, v:1, n:2, pp:5-25 [Journal]
    
16. Hélène Waeselynck
    Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review). [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1997, v:7, n:2, pp:129-130 [Journal]
    
17. 
    Model checking flight control systems: The Airbus experience. [Citation Graph (, )][DBLP]
    
    
18. 
    Mobile Systems from a Validation Perspective: a Case Study. [Citation Graph (, )][DBLP]
    
    
19. 
    Testing mobile computing applications: toward a scenario language and tools. [Citation Graph (, )][DBLP]
    
    
20. 
    LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. [Citation Graph (, )][DBLP]
    
    
21. 
    GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns. [Citation Graph (, )][DBLP]