Concepedia

Fatiha Zaïdi

FZ

15

Publications

484

Citations

12

H-Index

2005

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Paris-Sud

Laboratoire de Recherche en Informatique

Telecom SudParis

Institut Polytechnique de Paris

Fatiha Zaïdi is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware AnalysisFormal VerificationSoftware TestingVerificationProgram AnalysisSystems EngineeringSoftware Engineering

Publications per year

2005–2023

15

Publications

15

Fingerprinting design patterns

Gueheneuc Y-G, Houari Sahraoui, Fatiha Zaïdi · 2005 · 150 citations

Engineering, Biometrics, Architectural Pattern +22

A passive testing approach based on invariants: application to the WAP

Emmanuel Bayse, Ana Cavalli, Manuel Núñez et al. · Computer Networks · 2005 · 104 citations

Passive Testing Approach, Engineering, Computational Testing +15

Automatic Timed Test Case Generation for Web Services Composition

Mounir Lallali, Fatiha Zaïdi, Ana Cavalli et al. · 2008 · 41 citations

Software Maintenance, Web Service Specification, Web Services Composition +19

Invariants for finite instances and beyond

Sylvain Conchon, Amit Kumar Goel, Sava Krstić et al. · 2013 · 35 citations · Full text

Program Checking, Engineering, Verification +17

Timed Modeling of Web Services Composition for Automatic Testing

Mounir Lallali, Fatiha Zaïdi, Ana Cavalli · 2007 · 24 citations

Software Maintenance, Event-driven Architecture, Web Service Specification +20

Rows per page

1–5 of 15