Author Info
Name
Affiliation
Papers
DELPHINE LONGUET
IBISC CNRS FRE, University of Évry Val d'Essonne, Évry
19
Collaborators
Citations 
PageRank 
18
64
7.82
Referers 
Referees 
References 
101
310
336
Search Limit
100310
Title
Citations
PageRank
Year
Exhaustive test sets for algebraic specifications00.342016
Model-based testing for concurrent systems: unfolding-based test selection.20.372016
Fault Manifestability Verification for Discrete Event Systems.00.342016
Model-based testing for concurrent systems with labelled event structures20.372014
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue.20.362014
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.00.342014
On the Semantics of Object-Oriented Data Structures and Path Expressions.00.342013
Unfolding-Based Test Selection for Concurrent Conformance.90.452013
Conformance relations for labeled event structures90.512012
Global and local testing from Message Sequence Charts20.362012
A specification-based test case generation method for UML/OCL200.892010
Proof-Guided Test Selection from First-Order Specifications with Equality30.382010
Some General Results About Proof Normalization00.342010
Integration Testing from Structured First-Order Specifications via Deduction Modulo00.342009
Test selection criteria for quantifier-free first-order specifications70.442007
Specification-based testing for COCASL'S modal specifications10.352007
Test Selection Criteria for Modal Specifications of Reactive Systems10.352007
An Abstract Way to Define Rewriting Logic00.342006
A Temporal Logic for Input Output Symbolic Transition Systems60.642005