Log Auditing through Model-Checking. - Muriel Roger; Jean Goubault-Larrecq (CSFW, 2001)

PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. - Nicky Williams; Bruno Marre; Patricia Mouy; Muriel Roger (EDCC, 2005)

Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically. - Jean Goubault-Larrecq; Muriel Roger; Kumar Neeraj Verma (J. Log. Algebraic Methods Program., 2005)

Automating Structural Testing of C Programs: Experience with PathCrawler. - Bernard Botella; Mickaël Delahaye; Stéphane Hong Tuan Ha; Nikolai Kosmatov; Patricia Mouy; Muriel Roger; Nicky Williams (AST, 2009)

Test Generation Strategies to Measure Worst-Case Execution Time. - Nicky Williams; Muriel Roger (AST, 2009)

Online Test Generation with PathCrawler: Tool Demo. - Nikolai Kosmatov; Bernard Botella; Muriel Roger; Nicky Williams (ICST Workshops, 2011)

A Lesson on Structural Testing with PathCrawler-online.com. - Nikolai Kosmatov; Nicky Williams; Bernard Botella; Muriel Roger; Omar Chebaro (TAP@TOOLS, 2012)

Structural Unit Testing as a Service with PathCrawler-online.com. - Nikolai Kosmatov; Nicky Williams; Bernard Botella; Muriel Roger (SOSE, 2013)