CAVEAT: A Tool for Software Validation. - Patrick Baudin; Anne Pacalet; Jacques Raguideau; Dominique Schoen; Nicky Williams (DSN, 2002)

On-the-Fly Generation of K-Path Tests for C Functions. - Nicky Williams; Bruno Marre; Patricia Mouy (ASE, 2004)

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

WCET measurment using midified path testing. - Nicky Williams (WCET, 2005)

Generation of All-Paths Unit Test with Function Calls. - Patricia Mouy; Bruno Marre; Nicky Williams; Pascale Le Gall (ICST, 2008)

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)

Abstract path testing with PathCrawler. - Nicky Williams (AST, 2010)

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

Structural Testing with PathCrawler: Tutorial Synopsis. - Nicky Williams; Nikolai Kosmatov (QSIC, 2012)

Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract). - Nikolai Kosmatov; Nicky Williams (TAP@TOOLS, 2012)

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)

Behind the scenes in SANTE: a combination of static and dynamic analyses. - Omar Chebaro; Pascal Cuoq; Nikolai Kosmatov; Bruno Marre; Anne Pacalet; Nicky Williams; Boris Yakobowski (Autom. Softw. Eng., 2014)

Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process. - Sébastien Bardin; Nikolai Kosmatov; Bruno Marre; David Mentré; Nicky Williams (ISoLA (4), 2018)

Towards exhaustive branch coverage with PathCrawler. - Nicky Williams (AST@ICSE, 2021)

The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. - Patrick Baudin; François Bobot; David Bühler; Loïc Correnson; Florent Kirchner; Nikolai Kosmatov; André Maroneze; Valentin Perrelle; Virgile Prevosto; Julien Signoles; Nicky Williams (Commun. ACM, 2021)

Exhaustive Branch Coverage with TreeFrog. - Nicky Williams (SAC, 2023)