Jacques Raguideau, Dominique Schoen, Jean-Yves Henry, Jacques Boulc'h. CLAIRE: an event-driven simulation tool for testing software. In 5th International Symposium on Software Reliability Engineering, ISSRE 1994, Monterey, CA, USA, November 6-9, 1994. pages 259-263, IEEE, 1994. [doi]
Abstract is missing.