Documentation
Français (FR)

Anglais (EN)

Pascale LE GALL

Professor in Computer Sciences Laboratory MICS CentraleSupélec University of Paris-Saclay

15

Documents

Identifiants chercheurs

pascale-le-gall
0000-0002-8955-6835
IdRef : 081059310

Présentation

Publications

856039

	Symbolic execution of transition systems with function summaries Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto 11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany Communication dans un congrès cea-01810693v1
	Constraint-Based Oracles for Timed Distributed Systems Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩ Communication dans un congrès hal-01678964v1
	Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto The 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates Communication dans un congrès cea-01810689v1
	Security Weaknesses Detection by Symbolic Analysis of Scenarios Boutheïna Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall 2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩ Communication dans un congrès hal-01812121v1
	Designing Sequence Diagram Models for Robustness to Attacks Boutheïna Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩ Communication dans un congrès hal-01812124v1
	An implementation relation and test framework for timed distributed systems Christophe Gaston , Robert M. Hierons , Pascale Le Gall International Conference on Testing Software and Systems, Nov 2013, Istanbul, Turkey Communication dans un congrès cea-01810746v1
	Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.119-135, ⟨10.1007/978-3-642-34691-0_10⟩ Communication dans un congrès hal-01482398v1
	Symbolic execution techniques for test purpose definition Christophe Gaston , Pascale Le Gall , Nicolas Rapin , Assia Touil Proceedings of the 18th international conference on Testing of Communicating Systems (TestCom), 2006, United States. pp.1--18 Communication dans un congrès hal-00342082v1
	A Temporal Logic for Input Output Symbolic Transition Systems Marc Aiguier , Christophe Gaston , Pascale Le Gall , Delphine Longuet , Assia Touil 12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩ Communication dans un congrès hal-00341980v1
	Automatic generation of symbolic test purposes Assia Touil , Christophe Gaston , Pascale Le Gall Proceedings of the second MoDeVa (Model Design and Validation) workshop, 2005, Jamaica. pp.n.a Communication dans un congrès hal-00342173v1

	Testing Software and Systems Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall Springer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩ Ouvrages hal-02526347v1

	Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩ Chapitre d'ouvrage hal-01470156v1

	A temporal logic for input output symbolic transition systems Marc Aiguier , Christophe Gaston , Pascale Le Gall , Delphine Longuet , Assia Touil 2005 Autre publication scientifique hal-00341981v1
	Generating test case from symbolic transition systems based on constrained unfolding Christophe Gaston , Pascale Le Gall , Nicolas Rapin , Assia Touil 2005 Autre publication scientifique hal-00342083v1
	Feature specification: a logic-independent approach Marc Aiguier , Christophe Gaston , Pascale Le Gall 2005 Autre publication scientifique hal-00341979v1