Nicky Williams

Statistics

Publications

Citations

267

H-Index

Active since

2003

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

CEA Paris-Saclay

Nicky Williams is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in software testing, computer science, and computing.

Publications per year

2003–2021

Publications

The dogged pursuit of bug-free C programs

Patrick Baudin, François Bobot, David Bühler et al. · Communications of the ACM · 2021 · 65 citations · Full text

Computing, Computer Engineering, Computer Science +13

Automating structural testing of C programs: Experience with PathCrawler

Bernard Botella, Mickaël Delahaye, Stephane Hong-Tuan-Ha et al. · 2009 · 49 citations

Computing, Computer Engineering, Computer Science +11

On-the-fly generation of K-path tests for C functions

Nicky Williams, Bruno Marre, Patricia Mouy · 2004 · 42 citations

Computing, Computer Engineering, Computer Science +12

The FOP Connection Registry: Design of an international patient-sponsored registry for Fibrodysplasia Ossificans Progressiva

Neal Mantick, Eric Bachman, Geneviève Baujat et al. · Bone · 2017 · 33 citations

Veterinary Medicine, Pathology, Disease Surveillance +2

Behind the scenes in SANTE: a combination of static and dynamic analyses

Omar Chebaro, Pascal Cuoq, Nikolaï Kosmatov et al. · Automated Software Engineering · 2013 · 19 citations

Engineering, Systems Engineering, System Dynamics +1

1–5 of 9