| 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 | 129 | 2006 |
| Testing data types implementations from algebraic specifications MC Gaudel, P Le Gall Formal methods and testing, 209-239, 2008 | 50 | 2008 |
| Formal specifications and test: Correctness and oracle P Le Gall, A Arnould Recent Trends in Data Type Specification, 342-358, 1995 | 49 | 1995 |
| 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 | 35 | 1992 |
| Symbolic model based testing for component oriented systems A Faivre, C Gaston, P Le Gall Testing of Software and Communicating Systems, 90-106, 2007 | 34 | 2007 |
| 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 | 34 | 2007 |
| 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 | 27 | 2005 |
| 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 | 26 | 2008 |
| 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 | 25 | 2007 |
| 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 | 24 | 2012 |
| Dynamic testing from bounded data type specifications A Arnould, P Le Gall, B Marre European Dependable Computing Conference, 283-302, 1996 | 21 | 1996 |
| 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 | 19 | 2005 |
| A theory of probabilistic functional testing G Bernot, L Bouaziz, P Le Gall Proceedings of the 19th international conference on Software engineering …, 1997 | 19 | 1997 |
| 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 | 17 | 2010 |
| 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 | 16 | 2014 |
| Label algebras and exception handling G Bernot, P Le Gall, M Aiguier Science of Computer Programming 23 (2-3), 227-286, 1994 | 16 | 1994 |
| 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 | 16 | 1993 |
| 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 | 15 | 2009 |
| 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 | 14 | 2008 |
| Towards heterogeneous formal specifications G Bernot, S Coudert, P Le Gall International Conference on Algebraic Methodology and Software Technology …, 1996 | 14 | 1996 |
Aiguier MarcProfesseurVerified email at ecp.fr
