- idUS
- Listar por autor
Listar por autor "Medina Bulo, Inmaculada"
Mostrando ítems 1-15 de 15
-
Ponencia
A Certified Polynomial-Based Decision Procedure for Propositional Logic
Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Alonso Jiménez, José Antonio (Springer, 2001)In this paper we present the formalization of a decision procedure for Propositional Logic based on polynomial normalization. ...
-
Artículo
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Ruiz Reina, José Luis (Elsevier, 2010)In this article, we present the formal verification of a Common Lisp implementation of Buchberger's algorithm for ...
-
Artículo
Assessment of C++ object-oriented mutation operators: A selective mutation approach
Delgado Pérez, Pedro; Segura Rueda, Sergio; Medina Bulo, Inmaculada (Wiley, 2017)Mutation testing is an effective but costly testing technique. Several studies have observed that some mutants can be ...
-
Ponencia
Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: Un enfoque evolutivo
Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)Los defectos de rendimiento del software pueden causar una importante degradación en la experiencia de usuario y dar lugar ...
-
Ponencia
GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented Systems
Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio; García Domínguez, Antonio; Domínguez Jiménez, Juan José (ACM: Association for Computing Machinery, 2017)The reduction of the expenses of mutation testing should be based on well-studied cost reduction techniques to avoid bi ...
-
Artículo
Mutation testing in the wild: findings from GitHub
Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio (Springer, 2022)Mutation testing exploits artificial faults to measure the adequacy of test suites and guide their improvement. It has ...
-
Artículo
Performance mutation testing
Delgado Pérez, Pedro; Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Medina Bulo, Inmaculada (Wiley, 2021)Performance bugs are known to be a major threat to the success of software products. Performance tests aim to detect ...
-
Artículo
Performance mutation testing: hypothesis and open questions
Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Segura Rueda, Sergio; Medina Bulo, Inmaculada (Elsevier, 2018)Performance bugs are common, costly, and elusive. Performance tests aim to detect performance bugs by running the program ...
-
Ponencia
Proposal of a methodology for implementing a service-oriented architecture in distributed manufacturing systems
Medina Bulo, Inmaculada; García-Dominguez, A.; Aguayo-González, Francisco; Sevilla Hurtado, Lorenzo; Marcos-Bárcena, Mariano (American Institute of Physics (AIP), 2009)As envisioned by Intelligent Manufacturing Systems (IMS), Next Generation Manufacturing Systems (NGMS) will satisfy the ...
-
Ponencia
Propuesta metodológica para la implementación de una arquitectura orientada a servicios en entornos de Sistemas de Fabricación Distribuida
Medina Bulo, Inmaculada; García Domínguez, A.; Aguayo-González, Francisco; Sevilla Hurtado, Lorenzo; Marcos-Bárcena, Mariano (Sociedad de Ingeniería de Fabricación, 2009)Los Sistemas de Fabricación de Siguiente Generación, concebidos por la organización IMS (Intelligent Manufacturing Systems), ...
-
Ponencia
Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos
Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio; García Domínguez, Antonio; Domínguez Jiménez, Juan José (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)A pesar del beneficio que puede reportar la prueba de muta ciones en el proceso de prueba de software, el coste que supone ...
-
Ponencia
Search-based mutation testing to improve performance tests
Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio (Association for Computing Machinery (ACM), 2018)Performance bugs are common and can cause a significant deterio ration in the behaviour of a program, leading to costly ...
-
Artículo
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs
Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio (IEEE Computer Society, 2020)The detection of performance bugs, like those causing an unexpected execution time, has gained much attention in the last ...
-
Tesis Doctoral
Verificación formal en ACL2 del Algoritmo de Buchberger
Medina Bulo, Inmaculada (2003-12-18)En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del ...
-
Ponencia
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Alonso Jiménez, José Antonio; Ruiz Reina, José Luis (Springer, 2004)In this paper, we present the formal verification of a Common Lisp implementation of Buchberger’s algorithm for ...