MARIA INMACULADA
MEDINA BULO
Catedrática de Universidad
Universidad de Sevilla
Sevilla, EspañaPublications en collaboration avec des chercheurs de Universidad de Sevilla (17)
2022
-
Mutation testing in the wild: findings from GitHub
Empirical Software Engineering, Vol. 27, Núm. 6
2021
-
Performance mutation testing
Software Testing Verification and Reliability, Vol. 31, Núm. 5
2020
-
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs
IEEE Access, Vol. 8, pp. 107214-107228
2018
-
Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: Un enfoque evolutivo
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
-
Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: Un enfoque evolutivo
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
-
Performance mutation testing: Hypothesis and open questions
Information and Software Technology, Vol. 103, pp. 159-161
-
Search-based mutation testing to improve performance tests
GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion
2017
-
Assessment of C++ object-oriented mutation operators: A selective mutation approach
Software Testing Verification and Reliability, Vol. 27, Núm. 4-5
-
GiGAn: Evolutionary mutation testing for C++ object-oriented systems
Proceedings of the ACM Symposium on Applied Computing
2016
-
Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
-
Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
2014
-
Scalability of assessments of wiki-based learning experiences in higher education
Computers in Human Behavior, Vol. 31, Núm. 1, pp. 638-650
2012
-
Computer-supported assessment of wikis in higher education: Two case studies
2012 International Symposium on Computers in Education, SIIE 2012
2010
-
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Journal of Symbolic Computation, Vol. 45, Núm. 1, pp. 96-123
2009
2004
-
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3249, pp. 171-184
2001
-
A certified polynomial-based decision procedure for propositional logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)