Abdesselam Lakehal

Learn More
We present structural test coverage criteria for LUSTRE programs. LUSTRE is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport). Many coverage criteria are defined for sequential languages and are widely used in the software industry (for instance, statement or branch coverage). They are(More)
We present Lustructu, a tool measuring the structural coverage of LUSTRE programs. LUSTRE is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport...). Many coverage criteria are defined for sequential languages and are widely used in the software industry (for instance, statement or branch(More)
Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport). Scade is a commercial tool-suite based on this language. We have proposed recently test coverage criteria for Lustre/Scade programs. The coverage assessment is fully automated and has been integrated in a prototype tool,(More)
Problem statement: In this study, a new descriptor for shape retrieval under affine transformations had been proposed; the affine length parameterization was used in this approach. Approach: The zero crossing of affine curvature was used to extract a descriptor of shapes in database. For each two successive zero crossing points we extract two parameters:(More)
  • 1