Concepedia

José García-Fanjul

JG

Statistics

Publications

7

Citations

187

H-Index

7

Active since

2003

Affiliations

Universidad de Oviedo(Current)

José García-Fanjul is an author at Universidad de Oviedo specializing in engineering, software engineering, and software testing.

Top concepts

EngineeringSoftware DesignSoftware TestingSoftware AnalysisSoftware EngineeringSystems EngineeringFormal MethodsComputer ScienceProgram AnalysisVerification

Publications per year

2003–2014

7

Publications

7

Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN

José García-Fanjul, Javier Tuya, Claudio de la Riva · 2006 · 59 citations · Full text

Testing in Service Oriented Architectures with dynamic binding: A mapping study

Marcos Palácios, José García-Fanjul, Javier Tuya · Information and Software Technology · 2010 · 49 citations · Full text

Engineering, System Testing, Program Analysis +13

A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search

Raquel Blanco, José García-Fanjul, Javier Tuya · 2009 · 23 citations · Full text

Web Service Specification, Engineering, First Approach +23

Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking

José García-Fanjul, Claudio de la Riva, Javier Tuya · 2006 · 21 citations

Web Service Specification, Conformance Test Suites, Engineering +20

Teaching requirements analysis by means of student collaboration

Javier Tuya, José García-Fanjul · 2003 · 13 citations

Software Maintenance, Engineering, Education +21

1–5 of 7