Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(20)
Antonio Garcia-Dominguez (Antonio García-Domínguez)
11
Francisco Palomo-lozano
7
Manuel Palomo-duarte
6
Antonia Estero-Botaro
6
Jose A. Alonso-jimenez (José A. Alonso-jiménez)
4
Conferences
(11)
ICWE
3
JISBD
2
ECOWS
2
ICST
2
ACL
1
Journals
(2)
INFSOF
1
JSC
1
Keywords
(41)
Embed
Subscribe
Academic
Authors
Inmaculada Medina-bulo
Edit
Inmaculada Medina-bulo
Universidad de Sevilla
Publications: 22
|
Citations: 24
|
G-Index: 3
|
H-Index: 3
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
World Wide Web
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
20 co-authors
from 2001 to 2011
; Cited by
32 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(22)
BibTeX
|
RIS
|
RefWorks
Download
Evolutionary mutation testing
(
Citations: 1
)
J. J. Domínguez-Jiménez
,
A. Estero-Botaro
,
A. García-Domínguez
,
I. Medina-Bulo
Journal:
Information & Software Technology - INFSOF
, vol. 53, no. 10, pp. 1108-1123, 2011
Model-Driven Design of Performance Requirements
Antonio Garcia-Dominguez
,
Inmaculada Medina-Bulo
,
Mariano Marcos-B´rcena
Conference:
International Conference on Quality Software - QSIC
, pp. 76-85, 2011
Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages
Juan Boubeta-Puig
,
Inmaculada Medina-Bulo
,
Antonio García-Domínguez
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2011
LEARNING-ORIENTED ASSESSMENT OF WIKI CONTRIBUTIONS - How to Assess Wiki Contributions in a Higher Education Learning Setting
Emilio J Rodr'iguez-Posada
,
Juan Manuel Dodero
,
Manuel Palomo-Duarte
,
Inmaculada Medina-Bulo
Published in 2011.
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
(
Citations: 2
)
Inmaculada Medina-bulo
,
Francisco Palomo-lozano
,
José-luis Ruiz-reina
Journal:
Journal of Symbolic Computation - JSC
, vol. 45, no. 1, pp. 96-123, 2010
Order by:
Citations
(24 times by 17 publications)
Change Sensitivity Based Prioritization for Audit Testing of Webservice Compositions
(
Citations: 2
)
Cu D. Nguyen
,
Alessandro Marchetto
,
Paolo Tonella
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2011
A weak mutation testing framework for WS-BPEL
Panya Boonyakulsrirung
,
Taratip Suwannasart
Conference:
International Joint Conference on Computer Science and Software Engineering - JCSSE
, 2011
Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation
Manuel Palomo-Duarte
,
Antonio García-Domínguez
,
Inmaculada Medina-Bulo
,
Alejandro Álvarez-Ayllón
,
Javier Santacruz
Conference:
International Conference on Web Engineering - ICWE
, pp. 531-534, 2010
GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis
Juan-José Domínguez-Jiménez
,
Antonia Estero-Botaro
,
Antonio García-Domínguez
,
Inmaculada Medina-Bulo
Conference:
International Conference on Web Engineering - ICWE
, pp. 490-493, 2010
Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information
(
Citations: 1
)
Manuel Palomo-duarte
,
Antonio García-domínguez
,
Inmaculada Medina-bulo
Conference:
International Conference on Web Engineering - ICWE
, pp. 469-472, 2009
Comments