Jose Pablo Escobedo

According to our database, Jose Pablo Escobedo authored at least 8 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Designing Sequence Diagram Models for Robustness to Attacks.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Security Weaknesses Detection by Symbolic Analysis of Scenarios.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2012

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall

Proceedings of the Testing Software and Systems, 2012

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case.

Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011

Timed Conformance Testing for Orchestrated Service Discovery.

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Symbolic test case generation for testing orchestrators in context. (Génération des cas de tests symboliques pour tester des orchestrateurs en contexte).

José Pablo Escobedo Del Cid

PhD thesis, 2010

Testing Web Service Orchestrators in Context: A Symbolic Approach.

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009

Observability and Controllability Issues in Conformance Testing of Web Service Compositions.

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli

Proceedings of the Testing of Software and Communication Systems, 2009