Customizable and scalable automated assessment of C/C++ programming assignments von Delgado‐Pérez, Pedro, Medina‐Bulo, Inmaculada

Volltext

Evolutionary mutation testing for IoT with recorded and generated events von Gutiérrez‐Madroñal, Lorena, García‐Domínguez, Antonio, Medina‐Bulo, Inmaculada

Volltext

Performance mutation testing von Delgado‐Pérez, Pedro, Sánchez, Ana Belén, Segura, Sergio, Medina‐Bulo, Inmaculada

Volltext

Mutation‐inspired symbolic execution for software testing von Valle‐Gómez, Kevin J., García‐Domínguez, Antonio, Delgado‐Pérez, Pedro, Medina‐Bulo, Inmaculada

Volltext

Assessment of C++ object‐oriented mutation operators: A selective mutation approach von Delgado‐Pérez, Pedro, Segura, Sergio, Medina‐Bulo, Inmaculada

Volltext

Algorithm for Application of a Basic Model for the Data Envelopment Analysis Method in Technical Systems von Pokushko, Mariia, Stupina, Alena, Medina-Bulo, Inmaculada, Ezhemanskaya, Svetlana, Kuzmich, Roman, Pokushko, Roman

Volltext

TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs von Sanchez, Ana B., Delgado-Perez, Pedro, Medina-Bulo, Inmaculada, Segura, Sergio

Volltext

A Wearable Fall Detection System Based on Body Area Networks von Blunda, Luigi La, Gutierrez-Madronal, Lorena, Wagner, Matthias F., Medina-Bulo, Inmaculada

Volltext

Fall Detection from Electrocardiogram (ECG) Signals and Classification by Deep Transfer Learning von Butt, Fatima Sajid, La Blunda, Luigi, Wagner, Matthias F., Schäfer, Jörg, Medina-Bulo, Inmaculada, Gómez-Ullate, David

Volltext

On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures von Mueller-Bady, Robin, Kappes, Ma, Medina-Bulo, Inmaculada, Palomo-Lozano, Francisco

Volltext

A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes von El Khamlichi, Yasser, Tahiri, Abderrahim, Abtoy, Anouar, Medina-Bulo, Inmaculada, Palomo-Lozano, Francisco

Volltext

Testing software and systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018, Proceedings von Medina-Bulo, Inmaculada, Merayo, Mercedes G, Hierons, Robert

Volltext

A systematic literature review of the SBSE research community in Spain von Ramírez, Aurora, Delgado-Pérez, Pedro, Ferrer, Javier, Romero, José Raúl, Medina-Bulo, Inmaculada, Chicano, Francisco

Volltext

Quality metrics for mutation testing with applications to WS-BPEL compositions von Estero-Botaro, Antonia, Palomo-Lozano, Francisco, Medina-Bulo, Inmaculada, Domínguez-Jiménez, Juan José, García-Domínguez, Antonio

Volltext

A verified Common Lisp implementation of Buchberger’s algorithm in ACL2 von Medina-Bulo, Inmaculada, Palomo-Lozano, Francisco, Ruiz-Reina, José-Luis

Volltext

Systematic literature review of ambient assisted living systems supported by the Internet of Things von Caballero, Pablo, Ortiz, Guadalupe, Medina-Bulo, Inmaculada

Volltext

A model-driven approach for facilitating user-friendly design of complex event patterns von Boubeta-Puig, Juan, Ortiz, Guadalupe, Medina-Bulo, Inmaculada

Volltext

C++11/14 Mutation Operators Based on Common Fault Patterns von Parsai, Ali, Demeyer, Serge, De Busser, Seph

Volltext

IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation von Velez-Estevez, Antonio, Gutierrez-Madronal, Lorena, Medina-Bulo, Inmaculada

Volltext

MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0 von Boubeta-Puig, Juan, Ortiz, Guadalupe, Medina-Bulo, Inmaculada

Volltext