Concepedia
Statistics
Publications
1
Citations
84
H-Index
Active since
2003
Caroline Gervy is an author specializing in design for testing, formal verification, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingDesign For TestingFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2003–2003
New approaches for passive testing using an Extended Finite State Machine specification
Ana Cavalli, Caroline Gervy, Svetlana Prokopenko · Information and Software Technology · 2003 · 84 citations
Engineering, Computational Testing, System Testing +11
1–1 of 1