Nicky Williams

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