Concepedia

Richard Castanet

RC

Statistics

Publications

10

Citations

226

H-Index

10

Active since

1985

Affiliations

Université de Bordeaux(Current)

Institut Polytechnique de Bordeaux

Laboratoire Bordelais de Recherche en Informatique

Centre National de la Recherche Scientifique

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Richard Castanet is an author at Université de Bordeaux specializing in formal verification, systems engineering, and software analysis.

Top concepts

EngineeringSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringVerificationProgram AnalysisFormal MethodsComputer ScienceSoftware Engineering

Publications per year

1985–2010

10

Publications

10

Test generation for interworking systems

Ousmane Koné, Richard Castanet · Computer Communications · 2000 · 36 citations

Engineering, System Testing, Program Analysis +8

On the fly test generation for real time protocols

Richard Castanet, Ousmane Koné, Patrice Laurençot · 2002 · 32 citations

Engineering, Real-time System Design, Verification +20

Online Testing Framework for Web Services

Tien-Dung Cao, Patrick Félix, Richard Castanet et al. · 2010 · 31 citations

Engineering, Verification, Software Engineering +19

Automated Runtime Verification for Web Services

Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix et al. · 2010 · 26 citations

Web Service Specification, Engineering, Web Service Modeling +15

A framework and a tool for robustness testing of communicating software

Fares Saad-Khorchef, Antoine Rollet, Richard Castanet · 2007 · 24 citations

Software Maintenance, Engineering, Verification +21

1–5 of 10