Nicky Williams

Orcid: 0000-0002-7013-5205

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Exhaustive Branch Coverage with TreeFrog.
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.
Commun. ACM, 2021

Towards exhaustive branch coverage with PathCrawler.
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.
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.
Autom. Softw. Eng., 2014

2013
Structural Unit Testing as a Service with PathCrawler-online.com.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

2012
A Lesson on Structural Testing with PathCrawler-online.com.
Proceedings of the Tests and Proofs - 6th International Conference, 2012

Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract).
Proceedings of the Tests and Proofs - 6th International Conference, 2012

Structural Testing with PathCrawler: Tutorial Synopsis.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

2011
Online Test Generation with PathCrawler: Tool Demo.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010
Abstract path testing with PathCrawler.
Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009
Test Generation Strategies to Measure Worst-Case Execution Time.
Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Automating Structural Testing of C Programs: Experience with PathCrawler.
Proceedings of the 4th International Workshop on Automation of Software Test, 2009

2008
Generation of All-Paths Unit Test with Function Calls.
Proceedings of the First International Conference on Software Testing, 2008

2005
WCET measurment using midified path testing.
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.
Proceedings of the Dependable Computing, 2005

2004
On-the-Fly Generation of K-Path Tests for C Functions.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2002
CAVEAT: A Tool for Software Validation.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002


  Loading...