- 2
Pascale LE GALL
Professor in Computer Sciences
Laboratory MICS
CentraleSupélec
University of Paris-Saclay
2
Documents
Identifiants chercheurs
pascale-le-gall
-
0000-0002-8955-6835
- IdRef : 081059310
Présentation
Professeur en Informatique, CentraleSupélec, CNU 27, laboratoire MICS
**Thèmes de recherche :**
Génie logiciel, Méthodes formelles, Validation et Vérification, Test de conformité, Modélisation des systèmes communicants temps-réel distribués, Modélisation géométrique à base topologique, Transformations de graphes
**Enseignenments :**
Théorie des jeux, Sémantique des langages de programmation, Logique, Automates, Bio-informatique
Publications
- 2
- 2
- 2
- 1
- 1
Exhaustive test sets for algebraic specification correctnessJournal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
Article dans une revue
hal-01318362v1
|
Test selection criteria for quantifier-free first-order specifications2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩
Communication dans un congrès
hal-00353787v1
|