Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

35 Results
authFullName_s : Pascale Le Gall

Security Weaknesses Detection by Symbolic Analysis of Scenarios

Boutheïna Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall , et al.
2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩
Conference papers hal-01812121v1

Editorial

Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall
Other publications cea-04129929v1
Image document

An efficient VCGen-based modular verification of relational properties

Lionel Blatter , Nikolai Kosmatov , Virgile Prevosto , Pascale Le Gall
ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Oct 2022, Rhodes, Greece. pp.498-516, ⟨10.1007/978-3-031-19849-6_28⟩
Conference papers cea-04119217v1

Generation of All-Paths Unit Test with Function Calls

Patricia Mouy , Bruno Marre , Nicky Williams , Pascale Le Gall
First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, 2008, Lillehammer, Norway. pp.32--41, ⟨10.1109/ICST.2008.35⟩
Conference papers hal-01810199v1

Designing Sequence Diagram Models for Robustness to Attacks

Boutheïna Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall , et al.
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩
Conference papers hal-01812124v1
Image document

Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine

Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto
[Research Report] Laboratoire MAS - CentraleSupelec. 2015
Reports hal-01191890v1
Image document

RPP : Preuve automatique de propriétés relationnelles par Self-Composition

Lionel Blatter , Nikolai Kosmatov , Pascale Le Gall , Virgile Prévosto
Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France
Conference papers cea-01835491v1
Image document

Equivalence of denotational and operational semantics for interaction languages

Erwan Mahe , Christophe Gaston , Pascale Le Gall
Lecture Notes in Computer Science, 2022, Theoretical Aspects of Software Engineering, 13299, pp.113-130. ⟨10.1007/978-3-031-10363-6_8⟩
Journal articles cea-04060492v1

Testing web service orchestrators in context : a symbolic approach

Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall , Ana Rosa Cavalli
SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩
Conference papers hal-01306744v1
Image document

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
Conference papers cea-01810689v1
Image document

Static and Dynamic Verification of Relational Properties on Self-Composed C Code

Lionel Blatter , Nikolai Kosmatov , Pascale Le Gall , Virgile Prévosto , Guillaume Petiot
Tests and Proofs - TAP, Jun 2018, Toulouse, France
Conference papers cea-01835470v1

A temporal logic for input output symbolic transition systems

Marc Aiguier , Christophe Gaston , Pascale Le Gall , Delphine Longuet , Assia Touil
2005
Other publications hal-00341981v1
Image document

Methodology for Specification and Verification of High-Level Requirements with MetAcsl

Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall
FormaliSE 2021 - 9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France
Conference papers cea-03179670v1
Image document

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⟩
Conference papers hal-01678964v1
Image document

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
Conference papers cea-01810746v1

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks

Ngo Minh Thang Nguyen , Boutheina Bannour , Arnault Lapitre , Pascale Le Gall
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩
Conference papers hal-02421125v1
Image document

Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall
International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩
Conference papers cea-02301892v1
Image document

Certified verification of relational properties

Lionel Blatter , Nikolai Kosmatov , Virgile Prevosto , Pascale Le Gall
iFM 2022 : International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.86-105, ⟨10.1007/978-3-031-07727-2_6⟩
Conference papers cea-03714381v1

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
Conference papers hal-00342082v1

Generating test case from symbolic transition systems based on constrained unfolding

Christophe Gaston , Pascale Le Gall , Nicolas Rapin , Assia Touil
2005
Other publications hal-00342083v1
Image document

MetAcsl: Specification and Verification of High-Level Properties

Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall
TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩
Conference papers cea-02019790v1
Image document

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⟩
Conference papers hal-01482398v1
Image document

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⟩
Book sections hal-01470156v1

Feature specification: a logic-independent approach

Marc Aiguier , Christophe Gaston , Pascale Le Gall
2005
Other publications hal-00341979v1

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
Conference papers hal-00342173v1
Image document

An efficient VCGen-based modular verification of relational properties

Lionel Blatter , Nikolai Kosmatov , V. Prevosto , Pascale Le Gall
ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes, Greece
Conference papers cea-03768250v1
Image document

Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems

Gabriel Pedroza , Pascale Le Gall , Christophe Gaston , Fabrice Bersey
19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. ⟨10.1109/isorc.2016.15⟩
Conference papers cea-01302826v1
Image document

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⟩
Conference papers hal-00341980v1

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⟩
Books hal-02526347v1
Image document

Coq a dit : fromage tranché ne peut cacher ses trous *

Jean-Christophe Léchenet , Nikolai Kosmatov , Pascale Le Gall
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Conference papers hal-01333605v1