Travelled to:1 × Canada
1 × Denmark
1 × Estonia
1 × Italy
1 × Japan
1 × Norway
1 × Switzerland
1 × The Netherlands
1 × Turkey
2 × USA
3 × United Kingdom
Collaborated with:C.Gaston A.Arnould A.Touil G.Bernot J.P.Escobedo J.Léchenet N.Kosmatov A.Faivre N.Rapin M.Aiguier A.R.Cavalli M.Poudret J.Comet B.Marre R.M.Hierons K.Berkani L.Bouaziz H.Belhaouari T.Bellet B.Bannour P.Mouy N.Williams P.Meseure C.Boin
Talks about:test (13) symbol (6) model (5) base (4) topolog (3) transform (2) techniqu (2) function (2) geometr (2) generat (2)
Person: Pascale Le Gall
DBLP: Gall:Pascale_Le
Contributed to:
2014
20132012
2010
20092008
20082008
2007
20072007
200620062005
1997
1993
20162018Wrote 18 papers:
- ICGT-2014-BelhaouariAGB #geometry #graph transformation #library #modelling #named
- Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
- ICTSS-2013-GastonHG #distributed #framework #implementation
- An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.
- ICTSS-2012-BannourEGG #consistency #generative #modelling #testing
- Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.
- SEFM-2010-EscobedoGGC #approach #testing #web #web service
- Testing Web Service Orchestrators in Context: A Symbolic Approach (JPE, CG, PLG, ARC), pp. 257–267.
- TestCom-FATES-2009-EscobedoGGC #composition #consistency #testing #web #web service
- Observability and Controllability Issues in Conformance Testing of Web Service Compositions (JPE, CG, PLG, ARC), pp. 217–222.
- ICGT-2008-PoudretACG #graph transformation #modelling
- Graph Transformation for Topology Modelling (MP, AA, JPC, PLG), pp. 147–161.
- ICST-2008-MouyMWG #generative #testing
- Generation of All-Paths Unit Test with Function Calls (PM, BM, NW, PLG), pp. 32–41.
- TestCom-FATES-2008-FaivreGGT #refinement
- Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.
- LATA-2007-PoudretCGAM #biology #geometry #modelling #process
- Topology-based Geometric Modelling for Biological Cellular Processes (MP, JPC, PLG, AA, PM), pp. 497–508.
- TAP-2007-GallRT #execution #refinement #symbolic computation #testing
- Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.
- TestCom-FATES-2007-FaivreGG #component #modelling #testing
- Symbolic Model Based Testing for Component Oriented Systems (AF, CG, PLG), pp. 90–106.
- FM-2006-AiguierBG #interactive #specification #static analysis
- Feature Specification and Static Analysis for Interaction Resolution (MA, KB, PLG), pp. 364–379.
- TestCom-2006-GastonGRT #execution #symbolic computation
- Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.
- FATES-2005-AiguierABGM #algebra #axiom #specification #testing
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (MA, AA, CB, PLG, BM), pp. 203–217.
- ICSE-1997-BernotBG #formal method #functional #probability #testing
- A Theory of Probabilistic Functional Testing (GB, LB, PLG), pp. 216–226.
- TAPSOFT-1993-BernotG #exception
- Exception Handling and Term Labelling (GB, PLG), pp. 421–436.
- FASE-2016-LechenetKG #branch #debugging #slicing #verification
- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices (JCL, NK, PLG), pp. 179–196.
- FASE-2018-LechenetKG #dependence #performance
- Fast Computation of Arbitrary Control Dependencies (JCL, NK, PLG), pp. 207–224.