Jose Pablo Escobedo

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Static Analysis

Dependency Graph

Top Venues

Publications

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops (2014)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) (2014)
Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. HASE (2012)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ICTSS (2012)
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
Timed Conformance Testing for Orchestrated Service Discovery. FACS (2011)
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM (2010)
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
Observability and Controllability Issues in Conformance Testing of Web Service Compositions. TestCom/FATES (2009)