Follow
Pascale Le Gall
Pascale Le Gall
CentraleSupélec Université Paris-Saclay
Verified email at centralesupelec.fr
Title
Cited by
Cited by
Year
Symbolic execution techniques for test purpose definition
C Gaston, P Le Gall, N Rapin, A Touil
Testing of Communicating Systems: 18th IFIP TC 6/WG 6.1 International …, 2006
1362006
Formal specifications and test: Correctness and oracle
P Le Gall, A Arnould
Workshop on the Specification of Abstract Data Types, 342-358, 1995
571995
Testing data types implementations from algebraic specifications
MC Gaudel, P Le Gall
Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008
552008
An experimental evaluation of formal testing and statistical testing
B Marre, P Thévenod-Fosse, H Waeselynck, P Le Gall, Y Crouzet
Safety of Computer Control Systems 1992 (Safecomp'92), 311-316, 1992
401992
Symbolic modeling of genetic regulatory networks
D Mateus, JP Gallois, JP Comet, P Le Gall
Journal of bioinformatics and computational biology 5 (02b), 627-640, 2007
372007
Symbolic model based testing for component oriented systems
A Faivre, C Gaston, P Le Gall
International Workshop on Formal Approaches to Software Testing, 90-106, 2007
352007
Jerboa: A graph transformation library for topology-based geometric modeling
H Belhaouari, A Arnould, P Le Gall, T Bellet
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part …, 2014
322014
Off-line test case generation for timed symbolic model-based conformance testing
B Bannour, JP Escobedo, C Gaston, P Le Gall
Testing Software and Systems: 24th IFIP WG 6.1 International Conference …, 2012
322012
Generation of all-paths unit test with function calls
P Mouy, B Marre, N Williams, P Le Gall
2008 1st International Conference on Software Testing, Verification, and …, 2008
282008
Analysing gene regulatory networks by both constraint programming and model-checking
J Fromentin, JP Comet, P Le Gall, O Roux
2007 29th Annual International Conference of the IEEE Engineering in …, 2007
282007
Testing from algebraic specifications: Test data set selection by unfolding axioms
M Aiguier, A Arnould, C Boin, P Le Gall, B Marre
Formal Approaches to Software Testing: 5th International Workshop, FATES …, 2006
282006
Dynamic testing from bounded data type specifications
A Arnould, P Le Gall, B Marre
Dependable Computing—EDCC-2: Second European Dependable Computing …, 1996
231996
Testing web service orchestrators in context: A symbolic approach
JP Escobedo, C Gaston, P Le Gall, A Cavalli
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
222010
A theory of probabilistic functional testing
G Bernot, L Bouaziz, P Le Gall
Proceedings of the 19th international conference on Software engineering …, 1997
221997
Designing a topological modeler kernel: a rule-based approach
T Bellet, M Poudret, A Arnould, L Fuchs, P Le Gall
2010 Shape Modeling International Conference, 100-112, 2010
212010
Graph transformation for topology modelling
M Poudret, A Arnould, JP Comet, P Le Gall
Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008
202008
A temporal logic for input output symbolic transition systems
M Aiguier, C Gaston, P Le Gall, D Longuet, A Touil
12th Asia-Pacific Software Engineering Conference (APSEC'05), 8 pp., 2005
202005
Static and dynamic verification of relational properties on self-composed C code
L Blatter, N Kosmatov, P Le Gall, V Prevosto, G Petiot
International Conference on Tests and Proofs, 44-62, 2018
192018
Topology-based geometric modelling for biological cellular processes
M Poudret, JP Comet, P Le Gall, A Arnould, P Meseure
International conference on language and automata theory and applications …, 2007
192007
RPP: automatic proof of relational properties by self-composition
L Blatter, N Kosmatov, P Le Gall, V Prevosto
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
182017
The system can't perform the operation now. Try again later.
Articles 1–20