default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInmaculada Medina-Bulo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j44]Pablo Caballero-Torres
, Manuel Cano-Crespo, Guadalupe Ortiz, Inmaculada Medina-Bulo:
AALFlow: A Model-Driven Approach for the Integration of Internet of Things Heterogeneous Solutions for Ambient Assisted Living. IEEE Internet Things J. 11(20): 33798-33810 (2024)- [j43]Pablo Caballero, Guadalupe Ortiz, Inmaculada Medina-Bulo:
Systematic literature review of ambient assisted living systems supported by the Internet of Things. Univers. Access Inf. Soc. 23(4): 1631-1656 (2024) - [c59]Sheikh Sharfuddin Mim, Doina Logofatu, Gabriel Guerrero-Contreras, Inmaculada Medina-Bulo:
Leveraging Topic Modeling and Extractive Summarization for Unlocking Insights from NeurIPS Papers. INISTA 2024: 1-6 - [i2]Pedro Delgado-Pérez, Aurora Ramírez, Kevin J. Valle-Gómez, Inmaculada Medina-Bulo, José Raúl Romero:
InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment. CoRR abs/2401.07072 (2024) - [i1]Guadalupe Ortiz, Juan Boubeta-Puig, Javier Criado, David Corral-Plaza, Alfonso García de Prado, Inmaculada Medina-Bulo, Luis Iribarne:
A microservice architecture for real-time IoT data processing: A reusable Web of things approach for smart ports. CoRR abs/2401.15390 (2024) - 2023
- [j42]Mariia Pokushko, Aljona A. Stupina, Inmaculada Medina-Bulo, Svetlana Ezhemanskaya, Roman Kuzmich, Roman Pokushko:
Algorithm for Application of a Basic Model for the Data Envelopment Analysis Method in Technical Systems. Algorithms 16(10): 460 (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) - [j40]Pedro Delgado-Pérez, Aurora Ramírez, Kevin J. Valle-Gómez, Inmaculada Medina-Bulo, José Raúl Romero:
InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment. IEEE Trans. Software Eng. 49(4): 2580-2596 (2023) - [p1]José Raúl Romero, Inmaculada Medina-Bulo, Francisco Chicano:
Introduction. Optimising the Software Development Process with Artificial Intelligence 2023: 1-16 - [e2]José Raúl Romero, Inmaculada Medina-Bulo, Francisco Chicano:
Optimising the Software Development Process with Artificial Intelligence. Natural Computing Series, Springer 2023, ISBN 978-981-19-9948-2 [contents] - 2022
- [j39]Guadalupe Ortiz, Juan Boubeta-Puig, Javier Criado, David Corral-Plaza, Alfonso García de Prado, Inmaculada Medina-Bulo, Luis Iribarne:
A microservice architecture for real-time IoT data processing: A reusable Web of things approach for smart ports. Comput. Stand. Interfaces 81: 103604 (2022) - [j38]Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura:
Mutation testing in the wild: findings from GitHub. Empir. Softw. Eng. 27(6): 132 (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) - [j36]Antonio Velez-Estevez, Lorena Gutiérrez-Madroñal, Inmaculada Medina-Bulo:
IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation. IEEE Trans. Reliab. 71(3): 1368-1380 (2022) - [d1]José Raúl Romero, Inmaculada Medina-Bulo, Francisco Chicano, Liyan Song, Leandro L. Minku, Fitsum Meshesha Kifetew, Anna Perini, Angelo Susi, Antonio Garmendia, Dominik Bork, Martin Eisenberg, Thiago do Nascimento Ferreira, Marouane Kessentini, Manuel Wimmer, Tien N. Nguyen, José Antonio Parejo, Ana Belén Sánchez, Afonso Fontes, Gregory Gay, Francisco Gomes de Oliveira Neto, Robert Feldt, Michael Felderer, Eduard Paul Enoiu, Sahar Tahvili, Foutse Khomh, Mohammad Masudur Rahman, Antoine Barbez, Javier Ferrer, Pedro Delgado-Pérez, Aurora Ramírez, Breno Miranda:
Complementary material for the book "Optimising the Software Development Process with Artificial Intelligence". Zenodo, 2022
- 2021
- [j35]Fatima Sajid Butt, Luigi La Blunda, Matthias F. Wagner, Jörg Schäfer, Inmaculada Medina-Bulo, David Gómez-Ullate:
Fall Detection from Electrocardiogram (ECG) Signals and Classification by Deep Transfer Learning. Inf. 12(2): 63 (2021) - [j34]Soufiane Sail, Roberto Magán-Carrión, Inmaculada Medina-Bulo, Halima Bouden:
Preserving authentication and availability security services through Multivariate Statistical Network Monitoring. J. Inf. Secur. Appl. 58: 102785 (2021) - [j33]David Corral-Plaza, Guadalupe Ortiz, Inmaculada Medina-Bulo, Juan Boubeta-Puig:
MEdit4CEP-SP: A model-driven solution to improve decision-making through user-friendly management and real-time processing of heterogeneous data streams. Knowl. Based Syst. 213: 106682 (2021) - [j32]Pedro Delgado-Pérez, Ana Belén Sánchez, Sergio Segura, Inmaculada Medina-Bulo:
Performance mutation testing. Softw. Test. Verification Reliab. 31(5) (2021) - [c58]Aurora Ramírez, Pedro Delgado-Pérez, Kevin J. Valle-Gómez, Inmaculada Medina-Bulo, José Raúl Romero:
Interactivity in the Generation of Test Cases with Evolutionary Computation. CEC 2021: 2395-2402 - [c57]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Miguel Ángel Álvarez-García, Kevin J. Valle-Gómez:
Mutation Testing and Self/Peer Assessment: Analyzing their Effect on Students in a Software Testing Course. ICSE (SEET) 2021: 231-240 - 2020
- [j31]Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura:
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs. IEEE Access 8: 107214-107228 (2020) - [j30]Luigi La Blunda, Lorena Gutiérrez-Madroñal, Matthias F. Wagner, Inmaculada Medina-Bulo:
A Wearable Fall Detection System Based on Body Area Networks. IEEE Access 8: 193060-193074 (2020) - [j29]Pedro Delgado-Pérez, Inmaculada Medina-Bulo:
Customizable and scalable automated assessment of C/C++ programming assignments. Comput. Appl. Eng. Educ. 28(6): 1449-1466 (2020) - [j28]David Corral-Plaza, Inmaculada Medina-Bulo, Guadalupe Ortiz, Juan Boubeta-Puig:
A stream processing architecture for heterogeneous data sources in the Internet of Things. Comput. Stand. Interfaces 70: 103426 (2020) - [j27]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Guest Editorial: Special Section on ICTSS. Inf. Softw. Technol. 118 (2020) - [j26]Aurora Ramírez, Pedro Delgado-Pérez, Javier Ferrer, José Raúl Romero, Inmaculada Medina-Bulo, Francisco Chicano:
A systematic literature review of the SBSE research community in Spain. Prog. Artif. Intell. 9(2): 113-128 (2020) - [c56]Lorena Gutiérrez-Madroñal, Inmaculada Medina-Bulo, Mercedes G. Merayo:
Mutation Operators for Google Query Language. ACIIDS (Companion) 2020: 354-365 - [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 - [c53]Sneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, Matthias F. Wagner:
Model Translation from Papyrus-RT into the nuXmv Model Checker. SEFM 2020: 3-20
2010 – 2019
- 2019
- [j25]Lorena Gutiérrez-Madronal, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez:
Evaluation of EPL mutation operators with the MuEPL mutation system. Expert Syst. Appl. 116: 78-95 (2019) - [j24]Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
An evolutionary hybrid search heuristic for monitor placement in communication networks. J. Heuristics 25(6): 861-899 (2019) - [j23]Lorena Gutiérrez-Madronal, Luigi La Blunda, Matthias F. Wagner, Inmaculada Medina-Bulo:
Test Event Generation for a Fall-Detection IoT System. IEEE Internet Things J. 6(4): 6642-6651 (2019) - [j22]Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures. J. Univers. Comput. Sci. 25(7): 788-815 (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) - [j20]Pedro Delgado-Pérez, Louis M. Rose, Inmaculada Medina-Bulo:
Coverage-based quality metric of mutation operators for test suite improvement. Softw. Qual. J. 27(2): 823-859 (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 - [c51]Kevin J. Valle-Gómez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, José Magallanes Fernández:
Software testing: cost reduction in Industry 4.0. AST@ICSE 2019: 69-70 - [c50]Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez:
Using Genetic Algorithms to Generate Test Suites for FSMs. IWANN (1) 2019: 741-752 - 2018
- [j19]Ana Belén Sánchez, Pedro Delgado-Pérez, Sergio Segura, Inmaculada Medina-Bulo:
Performance mutation testing: Hypothesis and open questions. Inf. Softw. Technol. 103: 159-161 (2018) - [j18]Pedro Delgado-Pérez, Inmaculada Medina-Bulo:
Search-based mutant selection for efficient test suite improvement: Evaluation and results. Inf. Softw. Technol. 104: 130-143 (2018) - [j17]Lorena Gutiérrez-Madronal, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez:
IoT-TEG: Test event generator system. J. Syst. Softw. 137: 784-803 (2018) - [j16]Pedro Delgado-Pérez, Ibrahim Habli, Steve Gregory, Rob Alexander, John A. Clark, Inmaculada Medina-Bulo:
Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Trans. Reliab. 67(4): 1406-1419 (2018) - [c49]Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura:
Search-based mutation testing to improve performance tests. GECCO (Companion) 2018: 316-317 - [c48]Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez:
Test suite minimization for mutation testing of WS-BPEL compositions. GECCO 2018: 1427-1434 - [c47]Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures. GECCO (Companion) 2018: 1672-1679 - [c46]Manuel Grob, Martin Kappes, Inmaculada Medina-Bulo:
Combining Case-Based Reasoning with Complex Event Processing for Network Traffic Classification. ICCBR 2018: 110-123 - [c45]Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
On the feasibility of using hybrid evolutionary dynamic optimization for optimal monitor selection in dynamic communication networks. NOMS 2018: 1-4 - [e1]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings. Lecture Notes in Computer Science 11146, Springer 2018, ISBN 978-3-319-99926-5 [contents] - 2017
- [j15]Yasser El Khamlichi, Abderrahim Tahiri, Anouar Abtoy, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes. Algorithms 10(3): 80 (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) - [j12]Pedro Delgado-Pérez, Sergio Segura, Inmaculada Medina-Bulo:
Assessment of C++ object-oriented mutation operators: A selective mutation approach. Softw. Test. Verification Reliab. 27(4-5) (2017) - [c44]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Manuel Núñez:
Using Evolutionary Mutation Testing to improve the quality of test suites. CEC 2017: 596-603 - [c43]Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm. GECCO 2017: 1200-1207 - [c42]Robin Mueller-Bady, Martin Kappes, Lukas Atkinson, Inmaculada Medina-Bulo:
Multijob: a framework for efficient distribution of evolutionary algorithms for parameter tuning. GECCO (Companion) 2017: 1231-1238 - [c41]Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Mercedes G. Merayo:
Using Evolutionary Computation to Improve Mutation Testing. IWANN (2) 2017: 381-391 - [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 - 2016
- [c39]Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection. GECCO (Companion) 2016: 95-96 - [c38]Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo:
Local programming language barriers in stream-based systems. ISCC 2016: 569-574 - 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) - [j10]Juan Boubeta-Puig, Guadalupe Ortiz, Inmaculada Medina-Bulo:
ModeL4CEP: Graphical domain-specific modeling languages for CEP domains and event patterns. Expert Syst. Appl. 42(21): 8095-8110 (2015) - [j9]Juan Boubeta-Puig, Guadalupe Ortiz, Inmaculada Medina-Bulo:
MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0. Knowl. Based Syst. 89: 97-112 (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 - [c36]Robin Mueller-Bady, Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo:
Using Genetic Algorithms for Deadline-Constrained Monitor Selection in Dynamic Computer Networks. GECCO (Companion) 2015: 867-874 - [c35]Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo:
Monitoring traffic in computer networks with dynamic distributed remote packet capturing. ICC 2015: 5759-5764 - [c34]Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo:
Improving network traffic acquisition and processing with the Java Virtual Machine. ISCC 2015: 347-352 - 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) - [j6]Juan Boubeta-Puig, Guadalupe Ortiz, Inmaculada Medina-Bulo:
A model-driven approach for facilitating user-friendly design of complex event patterns. Expert Syst. Appl. 41(2): 445-456 (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) - [j4]Manuel Palomo-Duarte, Juan Manuel Dodero, Inmaculada Medina-Bulo, Emilio J. Rodríguez-Posada, Ivan Ruiz-Rube:
Assessment of collaborative learning experiences by graphical analysis of wiki contributions. Interact. Learn. Environ. 22(4): 444-466 (2014) - [j3]Mark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren, Shin Yoo:
Exact scalable sensitivity analysis for the next release problem. ACM Trans. Softw. Eng. Methodol. 23(2): 19:1-19:31 (2014) - [c33]Ruediger Gad, Martin Kappes, Robin Mueller-Bady, Inmaculada Medina-Bulo:
Header Field Based Partitioning of Network Traffic for Distributed Packet Capturing and Processing. AINA 2014: 866-874 - [c32]Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo:
Bridging the Gap between Low-Level Network Traffic Data Acquisition and Higher-Level Frameworks. COMPSAC Workshops 2014: 67-72 - [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 - [c30]Maria Azahara Camacho-Magrinan, Mercedes G. Merayo, Inmaculada Medina-Bulo:
PTTAC: Passive Testing Tool for Asynchronous Systems. SITIS 2014: 223-229 - 2013
- [c29]Yehia Taher, Juan Boubeta-Puig, Willem-Jan van den Heuvel, Guadalupe Ortiz, Inmaculada Medina-Bulo:
A Model-Driven Approach for Web Service Adaptation Using Complex Event Processing. ESOCC Workshops 2013: 346-359 - 2012
- [c28]Juan Boubeta-Puig, Inmaculada Medina-Bulo, Guadalupe Ortiz, Germán Fuentes-Landi:
Complex event processing applied to early maritime threat detection. WAS4FI-Mashups 2012: 1-4 - [c27]Rüdiger Gad, Juan Boubeta-Puig, Martin Kappes, Inmaculada Medina-Bulo:
Hierarchical events for efficient distributed network analysis and surveillance. WAS4FI-Mashups 2012: 5-11 - [c26]Carmen Castro-Cabrera, Inmaculada Medina-Bulo, Azahara Camacho:
Metasearch Services Composition in WS-BPEL - An Application of Metamorphic Testing. ICSOFT 2012: 427-432 - [c25]Lorena Gutiérrez-Madronal, Hossain Shahriar, Mohammad Zulkernine, Juan José Domínguez-Jiménez, Inmaculada Medina-Bulo:
Mutation Testing of Event Processing Queries. ISSRE 2012: 21-30 - 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) - [c24]Emilio J. Rodríguez-Posada, Juan Manuel Dodero, Manuel Palomo-Duarte, Inmaculada Medina-Bulo:
Learning-oriented Assessment of Wiki Contributions - How to Assess Wiki Contributions in a Higher Education Learning Setting. CSEDU (2) 2011: 79-86 - [c23]Carmen Castro-Cabrera, Inmaculada Medina-Bulo:
An Approach to Metamorphic Testing for WS-BPEL Compositions. ICE-B 2011: 137-142 - [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 - [c21]Carmen Castro-Cabrera, Inmaculada Medina-Bulo:
Application of Metamorphic Testing to a Case Study in Web Services Compositions. ICETE (Selected Papers) 2011: 168-181 - [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
- [j1]Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José-Luis Ruiz-Reina:
A verified Common Lisp implementation of Buchberger's algorithm in ACL2. J. Symb. Comput. 45(1): 96-123 (2010) - [c15]Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo:
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. ICST Workshops 2010: 142-150 - [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
2000 – 2009
- 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 - [c8]Antonia Estero-Botaro, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Lorena Gutiérrez:
GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL. JISBD 2009: 50-53 - [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 - [c6]Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Inmaculada Medina-Bulo:
A Framework for Mutant Genetic Generation for WS-BPEL. SOFSEM 2009: 229-240 - 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 - 2004
- [c2]Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina:
Verified Computer Algebra in Acl2. Gröbner Bases Computation. AISC 2004: 171-184 - 2001
- [c1]Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez:
A Certified Polynomial-Based Decision Procedure for Propositional Logic. TPHOLs 2001: 297-312
Coauthor Index
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 2024-11-07 20:35 CET 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:
