default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInmaculada Medina-Bulo
Publications
- 2023
[j41]Antonio García-Domínguez
, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Alfredo Ibias, Manuel Núñez:
Computing performance requirements for web service compositions. Comput. Stand. Interfaces 83: 103664 (2023)- 2022
- [j37]Kevin J. Valle-Gómez, Antonio García-Domínguez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo:
Mutation-inspired symbolic execution for software testing. IET Softw. 16(5): 478-492 (2022) - 2020
- [c55]Lorena Gutiérrez-Madroñal, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Combining Evolutionary Mutation Testing with Random Selection. CEC 2020: 1-8 - [c54]M. Carmen de Castro-Cabrera, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Trends in prioritization of test cases: 2017-2019. SAC 2020: 2005-2011 - 2019
- [j21]Lorena Gutiérrez-Madronal, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Evolutionary mutation testing for IoT with recorded and generated events. Softw. Pract. Exp. 49(4): 640-672 (2019) - [c52]M. Carmen de Castro-Cabrera, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Using constraint solvers to support metamorphic testing. MET@ICSE 2019: 32-39 - 2017
- [j14]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez:
Assessment of class mutation operators for C++ with the MuCPP mutation system. Inf. Softw. Technol. 81: 169-184 (2017) - [j13]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez:
Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184]. Inf. Softw. Technol. 87: 103 (2017) - [c40]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura, Antonio García-Domínguez, Juan José Domínguez-Jiménez:
GiGAn: evolutionary mutation testing for C++ object-oriented systems. SAC 2017: 1387-1392 - 2015
- [j11]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez, Francisco Palomo-Lozano:
Class mutation operators for C++ object-oriented systems. Ann. des Télécommunications 70(3-4): 137-148 (2015) - [j8]Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez:
Quality metrics for mutation testing with applications to WS-BPEL compositions. Softw. Test. Verification Reliab. 25(5-7): 536-571 (2015) - [c37]Antonio García-Domínguez, Ismael Jerez-Ibáñez, Inmaculada Medina-Bulo:
Two Case Studies on Generating Administrative Process Applications with AdminDSL. BMSD 2015: 96-116 - 2014
- [j7]Manuel Palomo-Duarte, Juan Manuel Dodero, Antonio García-Domínguez, Pablo Neira Ayuso, Noelia Sales-Montes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Carmen Castro-Cabrera, Emilio J. Rodríguez-Posada, Antonio Balderas:
Scalability of assessments of wiki-based learning experiences in higher education. Comput. Hum. Behav. 31: 638-650 (2014) - [j5]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Automatic dynamic generation of likely invariants for WS-BPEL compositions. Expert Syst. Appl. 41(11): 5041-5055 (2014) - [c31]Antonia Estero-Botaro, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo:
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions. ICTSS 2014: 1-16 - 2011
- [j2]Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Evolutionary mutation testing. Inf. Softw. Technol. 53(10): 1108-1123 (2011) - [c22]Emma Blanco-Muñoz, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Inmaculada Medina-Bulo:
Towards Higher-order Mutant Generation for WS-BPEL. ICE-B 2011: 143-148 - [c20]Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena:
Model-driven Design of Performance Requirements with UML and MARTE. ICSOFT (2) 2011: 54-63 - [c19]Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena:
An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE. ICSOFT (Selected Papers) 2011: 136-150 - [c18]Juan Boubeta-Puig, Inmaculada Medina-Bulo, Antonio García-Domínguez:
Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages. ICST Workshops 2011: 398-407 - [c17]Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo:
EUnit: A Unit Testing Framework for Model Management Tasks. MoDELS 2011: 395-409 - [c16]Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena:
Model-Driven Design of Performance Requirements. QSIC 2011: 76-85 - 2010
- [c14]Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo:
GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis. ICWE 2010: 490-493 - [c13]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo, Alejandro Álvarez-Ayllón, Javier Santacruz:
Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. ICWE 2010: 531-534 - [c12]Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena:
SODM+T: Inferencia de restricciones de rendimiento. JISBD 2010: 103-106 - [c11]Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Mutación evolutiva. JISBD 2010: 281-292 - 2009
- [c10]Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo:
GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions. ECOWS 2009: 97-106 - [c9]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information. ICWE 2009: 469-472 - [c7]Manuel Palomo-Duarte, Antonio García-Domínguez, Alejandro Álvarez-Ayllón, Inmaculada Medina-Bulo:
Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL. JISBD 2009: 367-370 - 2008
- [c5]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions. ECOWS 2008: 63-72 - [c4]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo:
An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions. ICE-B 2008: 37-44 - [c3]Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo:
Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition. SOSE 2008: 109-114
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-12 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
