The SCEAS System
Navigation Menu

Search the dblp DataBase


Hélène Waeselynck: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

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