Sandrine Gouraud is an author at Université Paris-Sud specializing in formal methods, program analysis, and computer science.
Top concepts
StatisticsEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationVerificationSoftware Design
Publications per year
2005–2007
3
3
A Generic Method for Statistical Testing
Alain Denise, Marie-Claude Gaudel, Sandrine Gouraud · 2005 · 50 citations
A new way of automating statistical testing methods
Sandrine Gouraud, Alain Denise, Marie-Claude Gaudel et al. · 2005 · 35 citations
A machine learning approach for statistical software testing
Nicolas Baskiotis, Michèle Sébag, Marie-Claude Gaudel et al. · 2007 · 24 citations · Full text
Rows per page
1–3 of 3