Nicky Williams

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 5

Top Topics

Top Venues

Autom. Softw. Eng.

Publications

Nicky Williams
Exhaustive Branch Coverage with TreeFrog. SAC (2023)
Nicky Williams
Towards exhaustive branch coverage with PathCrawler. AST@ICSE (2021)
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
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. Commun. ACM 64 (8) (2021)
Nicky Williams
Towards exhaustive branch coverage with PathCrawler. CoRR (2021)
Sébastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentré, Nicky Williams
Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process. ISoLA (4) (2018)
Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski
Behind the scenes in SANTE: a combination of static and dynamic analyses. Autom. Softw. Eng. 21 (1) (2014)
Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger
Structural Unit Testing as a Service with PathCrawler-online.com. SOSE (2013)
Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro
A Lesson on Structural Testing with PathCrawler-online.com. TAP@TOOLS (2012)
Nicky Williams, Nikolai Kosmatov
Structural Testing with PathCrawler: Tutorial Synopsis. QSIC (2012)
Nikolai Kosmatov, Nicky Williams
Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract). TAP@TOOLS (2012)
Nikolai Kosmatov, Bernard Botella, Muriel Roger, Nicky Williams
Online Test Generation with PathCrawler: Tool Demo. ICST Workshops (2011)
Nicky Williams
Abstract path testing with PathCrawler. AST (2010)
Bernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams
Automating Structural Testing of C Programs: Experience with PathCrawler. AST (2009)
Nicky Williams, Muriel Roger
Test Generation Strategies to Measure Worst-Case Execution Time. AST (2009)
Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall
Generation of All-Paths Unit Test with Function Calls. ICST (2008)
Nicky Williams
WCET measurment using midified path testing. WCET (2005)
Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. EDCC (2005)
Nicky Williams, Bruno Marre, Patricia Mouy
On-the-Fly Generation of K-Path Tests for C Functions. ASE (2004)
Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams
CAVEAT: A Tool for Software Validation. DSN (2002)