Pascale Le Gall
Pascale Le Gall
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
IFIP International Conference on Testing of Communicating Systems, 1-18, 2006
1292006
Testing data types implementations from algebraic specifications
MC Gaudel, P Le Gall
Formal methods and testing, 209-239, 2008
502008
Formal specifications and test: Correctness and oracle
P Le Gall, A Arnould
Recent Trends in Data Type Specification, 342-358, 1995
491995
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
351992
Symbolic model based testing for component oriented systems
A Faivre, C Gaston, P Le Gall
Testing of Software and Communicating Systems, 90-106, 2007
342007
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
342007
Testing from algebraic specifications: Test data set selection by unfolding axioms
M Aiguier, A Arnould, C Boin, P Le Gall, B Marre
International Workshop on Formal Approaches to Software Testing, 203-217, 2005
272005
Generation of all-paths unit test with function calls
P Mouy, B Marre, N Willams, P Le Gall
2008 1st International Conference on Software Testing, Verification, and …, 2008
262008
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
252007
Off-line test case generation for timed symbolic model-based conformance testing
B Bannour, JP Escobedo, C Gaston, P Le Gall
IFIP International Conference on Testing Software and Systems, 119-135, 2012
242012
Dynamic testing from bounded data type specifications
A Arnould, P Le Gall, B Marre
European Dependable Computing Conference, 283-302, 1996
211996
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
192005
A theory of probabilistic functional testing
G Bernot, L Bouaziz, P Le Gall
Proceedings of the 19th international conference on Software engineering …, 1997
191997
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
172010
Jerboa: A graph transformation library for topology-based geometric modeling
H Belhaouari, A Arnould, P Le Gall, T Bellet
International Conference on Graph Transformation, 269-284, 2014
162014
Label algebras and exception handling
G Bernot, P Le Gall, M Aiguier
Science of Computer Programming 23 (2-3), 227-286, 1994
161994
Les Algèbres étiquetées: une sémantique pour les spécifications algébriques fondée sur une utilisation systématique des termes. Application au test de logiciel avec traitement …
P Le Gall
Paris 11, 1993
161993
Observability and controllability issues in conformance testing of Web service compositions
JP Escobedo, C Gaston, P Le Gall, A Cavalli
Testing of Software and Communication Systems, 217-222, 2009
152009
Test purpose concretization through symbolic action refinement
A Faivre, C Gaston, P Le Gall, A Touil
Testing of software and communicating systems, 184-199, 2008
142008
Towards heterogeneous formal specifications
G Bernot, S Coudert, P Le Gall
International Conference on Algebraic Methodology and Software Technology …, 1996
141996
The system can't perform the operation now. Try again later.
Articles 1–20