| 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 | 138 | 2006 |
| Symbolic model based testing for component oriented systems A Faivre, C Gaston, P Le Gall Testing of Software and Communicating Systems, 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 IFIP International Conference on Testing Software and Systems, 119-135, 2012 | 33 | 2012 |
| Behavioural unfolding of formal specifications based on communicating automata N Rapin, C Gaston, A Lapitre, JP Gallois Proceedings of first Workshop on Automated technology for verification and …, 2003 | 27 | 2003 |
| Behavioral unfolding of formal specifications based on communicating extended automata N Rapin, C Gaston, A Lapitre, JP Gallois Proceedings of the first international workshop on Automated Technology for …, 2003 | 27 | 2003 |
| 11 Evaluating Coverage Based Testing C Gaston, D Seifert Model-Based Testing of Reactive Systems, 293-322, 2005 | 25 | 2005 |
| A data flow model with frequency arithmetic P Dubrulle, C Gaston, N Kosmatov, A Lapitre, S Louise International Conference on Fundamental Approaches to Software Engineering …, 2019 | 20 | 2019 |
| 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 |
| 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 |
| Eliciting unitary constraints from timed Sequence Diagram with symbolic techniques: application to testing B Bannour, C Gaston, D Servat 2011 18th Asia-Pacific Software Engineering Conference, 219-226, 2011 | 17 | 2011 |
| An implementation relation and test framework for timed distributed systems C Gaston, RM Hierons, P Le Gall IFIP International Conference on Testing Software and Systems, 82-97, 2013 | 16 | 2013 |
| 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 |
| Revisiting Semantics of Interactions for Trace Validity Analysis. E Mahe, C Gaston, P Le Gall FASE, 482-501, 2020 | 14 | 2020 |
| Constraint-based oracles for timed distributed systems N Benharrat, C Gaston, RM Hierons, A Lapitre, P Le Gall IFIP International Conference on Testing Software and Systems, 276-292, 2017 | 14 | 2017 |
| 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 | 13 | 2008 |
| Algebraic treatment of feature-oriented systems C Gaston, M Aiguier, P Le Gall Language Constructs for Describing Features, 105-124, 2001 | 13 | 2001 |
| A small-step approach to multi-trace checking against interactions E Mahe, B Bannour, C Gaston, A Lapitre, PL Gall arXiv preprint arXiv:2009.01777, 2020 | 10 | 2020 |
| PolyGraph: a data flow model with frequency arithmetic P Dubrulle, N Kosmatov, C Gaston, A Lapitre International Journal on Software Tools for Technology Transfer, 1-29, 2020 | 9 | 2020 |
| An end-to-end framework for safe software development M Hussein, R Nouacer, A Radermacher, A Puccetti, C Gaston, N Rapin Microprocessors and Microsystems 62, 41-49, 2018 | 9 | 2018 |
| Incremental symbolic conformance testing from UML MARTE sequence diagrams: railway use case B Bannour, C Gaston, A Lapitre, JP Escobedo 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012 | 9 | 2012 |
Pascale Le GallCentraleSupélec Université Paris-SaclayEmail verificata su centralesupelec.fr
