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 | 138 | 2006 |
Formal specifications and test: Correctness and oracle P Le Gall, A Arnould Workshop on the Specification of Abstract Data Types, 342-358, 1995 | 59 | 1995 |
Testing data types implementations from algebraic specifications MC Gaudel, P Le Gall Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008 | 55 | 2008 |
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 | 39 | 1992 |
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 | 37 | 2007 |
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 | 36 | 2014 |
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 | 35 | 2007 |
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 | 33 | 2012 |
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 | 30 | 2007 |
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 | 28 | 2008 |
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 | 28 | 2006 |
Dynamic testing from bounded data type specifications A Arnould, P Le Gall, B Marre Dependable Computing—EDCC-2: Second European Dependable Computing …, 1996 | 23 | 1996 |
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 | 22 | 2010 |
A theory of probabilistic functional testing G Bernot, L Bouaziz, P Le Gall Proceedings of the 19th international conference on Software engineering …, 1997 | 22 | 1997 |
MetAcsl: Specification and Verification of High-Level Properties V Robles, N Kosmatov, V Prevosto, L Rilling, P Le Gall International Conference on Tools and Algorithms for the Construction and …, 2019 | 20 | 2019 |
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 | 20 | 2018 |
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 | 20 | 2010 |
Graph transformation for topology modelling M Poudret, A Arnould, JP Comet, P Le Gall Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008 | 20 | 2008 |
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 | 20 | 2005 |
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 | 19 | 2017 |