Nicky Williams

According to our database, Nicky Williams authored at least 18 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Exhaustive Branch Coverage with TreeFrog.

Nicky Williams

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

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

Towards exhaustive branch coverage with PathCrawler.

Nicky Williams

Proceedings of the 2nd IEEE/ACM International Conference on Automation of Software Test, 2021

2018

Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process.

Sébastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentré, Nicky Williams

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2014

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

2013

Structural Unit Testing as a Service with PathCrawler-online.com.

Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

2012

A Lesson on Structural Testing with PathCrawler-online.com.

Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract).

Nikolai Kosmatov, Nicky Williams

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Structural Testing with PathCrawler: Tutorial Synopsis.

Nicky Williams, Nikolai Kosmatov

Proceedings of the 2012 12th International Conference on Quality Software, 2012

2011

Online Test Generation with PathCrawler: Tool Demo.

Nikolai Kosmatov, Bernard Botella, Muriel Roger, Nicky Williams

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Abstract path testing with PathCrawler.

Nicky Williams

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

Test Generation Strategies to Measure Worst-Case Execution Time.

Nicky Williams, Muriel Roger

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

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

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

2008

Generation of All-Paths Unit Test with Function Calls.

Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall

Proceedings of the First International Conference on Software Testing, 2008

2005

WCET measurment using midified path testing.

Nicky Williams

Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.

Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger

Proceedings of the Dependable Computing, 2005

2004

On-the-Fly Generation of K-Path Tests for C Functions.

Nicky Williams, Bruno Marre, Patricia Mouy

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2002

CAVEAT: A Tool for Software Validation.

Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002