Concepedia

Sébastien Salva

SS

Statistics

Publications

6

Citations

95

H-Index

6

Active since

2002

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes

Université Clermont Auvergne

Sébastien Salva is an author at Centre National de la Recherche Scientifique specializing in engineering, software testing, and program analysis.

Top concepts

EngineeringSoftware TestingProgram AnalysisSoftware AnalysisSoftware EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems Engineering

Publications per year

2002–2014

6

Publications

6

APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities

Sébastien Salva, Stassia R. Zafimiharisoa · International Journal on Software Tools for Technology Transfer · 2014 · 25 citations · Full text

Mobile Security, Software Security, Engineering +8

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition

Ana Cavalli, Tien-Dung Cao, Wissam Mallouli et al. · 2010 · 19 citations

Web Service Specification, Web Services Composition, Engineering +19

Data vulnerability detection by security testing for Android applications

Sébastien Salva, Stassia R. Zafimiharisoa · 2013 · 14 citations

Mobile Security, Engineering, Information Security +16

Automatic Ajax Application Testing

Sébastien Salva, Patrice Laurençot · 2009 · 14 citations

Engineering, System Testing, Testing Technique +7

Stateful Web Service Robustness

Sébastien Salva, Issam Rabhi · 2010 · 13 citations · Full text

Web Service Specification, Availability, Engineering +16

1–5 of 6