11
Publications
176
Citations
10
H-Index
1992
Active since
Pascale Le Gall is an author at Université d'Évry Val-d'Essonne specializing in engineering, formal methods, and formal verification.
Top concepts
EngineeringFormal MethodsFormal VerificationBiologyComputer ScienceSoftware AnalysisSystems EngineeringVerificationSoftware DesignTest Automation
Publications per year
1992–2010
11
11
Martine Zandjanakou-Tachin, André Fanou, Pascale Le Gall et al. · Journal of Phytopathology · 2007 · 27 citations · Full text
Generation of All-Paths Unit Test with Function Calls
Patricia Mouy, Bruno Marre, Nicky Williams et al. · 2008 · 18 citations
J. Hust, Jane Frydenberg, Pierre‐Guy Sauriau et al. · Parasitology Research · 2004 · 16 citations
Rows per page
1–5 of 11