J. Raguideau is an author at CEA Paris-Saclay specializing in software validation, software design, and system software.
Top concepts
FuzzingEngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2003–2003
1
1
Caveat: a tool for software validation
Patrick Baudin, Anne Pacalet, J. Raguideau et al. · 2003 · 12 citations
Rows per page
1–1 of 1