Inmaculada Medina-Bulo

Knowl. Based Syst., 2021

Preserving authentication and availability security services through Multivariate Statistical Network Monitoring.

[BibT_eX]

[DOI]

Soufiane Sail

Roberto Magán-Carrión

Halima Bouden

J. Inf. Secur. Appl., 2021

Fall Detection from Electrocardiogram (ECG) Signals and Classification by Deep Transfer Learning.

[BibT_eX]

[DOI]

David Gómez-Ullate

Inf., 2021

Mutation Testing and Self/Peer Assessment: Analyzing their Effect on Students in a Software Testing Course.

[BibT_eX]

[DOI]

Miguel Ángel Álvarez-García

Kevin J. Valle-Gómez

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2021

Interactivity in the Generation of Test Cases with Evolutionary Computation.

[BibT_eX]

[DOI]

Aurora Ramírez

Kevin J. Valle-Gómez

José Raúl Romero

Proceedings of the IEEE Congress on Evolutionary Computation, 2021

2020

A systematic literature review of the SBSE research community in Spain.

[BibT_eX]

[DOI]

Francisco Chicano

Prog. Artif. Intell., 2020

Guest Editorial: Special Section on ICTSS.

[BibT_eX]

[DOI]

Robert M. Hierons

Inf. Softw. Technol., 2020

A stream processing architecture for heterogeneous data sources in the Internet of Things.

[BibT_eX]

[DOI]

David Corral-Plaza

Comput. Stand. Interfaces, 2020

Customizable and scalable automated assessment of C/C++ programming assignments.

[BibT_eX]

[DOI]

Comput. Appl. Eng. Educ., 2020

TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs.

[BibT_eX]

[DOI]

Ana Belén Sánchez

Lorena Gutiérrez-Madroñal

IEEE Access, 2020

A Wearable Fall Detection System Based on Body Area Networks.

[BibT_eX]

[DOI]

Luigi La Blunda

Matthias F. Wagner

IEEE Access, 2020

Model Translation from Papyrus-RT into the nuXmv Model Checker.

[BibT_eX]

[DOI]

Sneha Sahu

Ruth Schorr

M. Carmen de Castro-Cabrera

Matthias F. Wagner

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Trends in prioritization of test cases: 2017-2019.

[BibT_eX]

[DOI]

Lorena Gutiérrez-Madroñal

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Combining Evolutionary Mutation Testing with Random Selection.

[BibT_eX]

[DOI]

Lorena Gutiérrez-Madroñal

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

Mutation Operators for Google Query Language.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020

2019

Coverage-based quality metric of mutation operators for test suite improvement.

[BibT_eX]

[DOI]

Louis M. Rose

Softw. Qual. J., 2019

Evolutionary mutation testing for IoT with recorded and generated events.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2019

On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2019

Test Event Generation for a Fall-Detection IoT System.

[BibT_eX]

[DOI]

Luigi La Blunda

Matthias F. Wagner

IEEE Internet Things J., 2019

An evolutionary hybrid search heuristic for monitor placement in communication networks.

[BibT_eX]

[DOI]

J. Heuristics, 2019

Evaluation of EPL mutation operators with the MuEPL mutation system.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2019

Using Genetic Algorithms to Generate Test Suites for FSMs.

[BibT_eX]

[DOI]

Miguel Benito-Parejo

Manuel Núñez

Proceedings of the Advances in Computational Intelligence, 2019

Software testing: cost reduction in Industry 4.0.

[BibT_eX]

[DOI]

Kevin J. Valle-Gómez

José Magallanes Fernández

Proceedings of the 14th International Workshop on Automation of Software Test, 2019

Using constraint solvers to support metamorphic testing.

[BibT_eX]

[DOI]

M. Carmen de Castro-Cabrera

Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

2018

Evaluation of Mutation Testing in a Nuclear Industry Case Study.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2018

IoT-TEG: Test event generator system.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Performance mutation testing: Hypothesis and open questions.

[BibT_eX]

[DOI]

Ana Belén Sánchez

Inf. Softw. Technol., 2018

Search-based mutant selection for efficient test suite improvement: Evaluation and results.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

On the feasibility of using hybrid evolutionary dynamic optimization for optimal monitor selection in dynamic communication networks.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

Combining Case-Based Reasoning with Complex Event Processing for Network Traffic Classification.

[BibT_eX]

[DOI]

Manuel Grob

Proceedings of the Case-Based Reasoning Research and Development, 2018

Search-based mutation testing to improve performance tests.

[BibT_eX]

[DOI]

Ana Belén Sánchez

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

Test suite minimization for mutation testing of WS-BPEL compositions.

[BibT_eX]

[DOI]

Manuel Núñez

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

2017

Assessment of C++ object-oriented mutation operators: A selective mutation approach.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2017

Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184].

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2017

Assessment of class mutation operators for C++ with the MuCPP mutation system.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2017

A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes.

[BibT_eX]

[DOI]

Yasser El Khamlichi

Abderrahim Tahiri

Anouar Abtoy

Algorithms, 2017

GiGAn: evolutionary mutation testing for C++ object-oriented systems.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2017

Using Evolutionary Computation to Improve Mutation Testing.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2017

Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Multijob: a framework for efficient distribution of evolutionary algorithms for parameter tuning.

[BibT_eX]

[DOI]

Lukas Atkinson

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Using Evolutionary Mutation Testing to improve the quality of test suites.

[BibT_eX]

[DOI]

Manuel Núñez

Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

2016

Local programming language barriers in stream-based systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communication, 2016

Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

2015

Quality metrics for mutation testing with applications to WS-BPEL compositions.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2015

MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2015

ModeL4CEP: Graphical domain-specific modeling languages for CEP domains and event patterns.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2015

Class mutation operators for C++ object-oriented systems.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2015

Improving network traffic acquisition and processing with the Java Virtual Machine.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

Monitoring traffic in computer networks with dynamic distributed remote packet capturing.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Communications, 2015

Using Genetic Algorithms for Deadline-Constrained Monitor Selection in Dynamic Computer Networks.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Two Case Studies on Generating Administrative Process Applications with AdminDSL.

[BibT_eX]

[DOI]

Ismael Jerez-Ibáñez

Proceedings of the Business Modeling and Software Design - 5th International Symposium, 2015

2014

Exact scalable sensitivity analysis for the next release problem.

[BibT_eX]

[DOI]

Mark Harman

Jens Krinke

Jian Ren

Shin Yoo

ACM Trans. Softw. Eng. Methodol., 2014

Assessment of collaborative learning experiences by graphical analysis of wiki contributions.

[BibT_eX]

[DOI]

Juan Manuel Dodero

Emilio J. Rodríguez-Posada

Ivan Ruiz-Rube

Interact. Learn. Environ., 2014

Automatic dynamic generation of likely invariants for WS-BPEL compositions.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

A model-driven approach for facilitating user-friendly design of complex event patterns.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

Scalability of assessments of wiki-based learning experiences in higher education.

[BibT_eX]

[DOI]

Juan Manuel Dodero

Pablo Neira Ayuso

Noelia Sales-Montes

Emilio J. Rodríguez-Posada

Antonio Balderas

Comput. Hum. Behav., 2014

PTTAC: Passive Testing Tool for Asynchronous Systems.

[BibT_eX]

[DOI]

Maria Azahara Camacho-Magrinan

Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2014

Bridging the Gap between Low-Level Network Traffic Data Acquisition and Higher-Level Frameworks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Header Field Based Partitioning of Network Traffic for Distributed Packet Capturing and Processing.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

2013

A Model-Driven Approach for Web Service Adaptation Using Complex Event Processing.

[BibT_eX]

[DOI]

Yehia Taher

Willem-Jan van den Heuvel

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012

Mutation Testing of Event Processing Queries.

[BibT_eX]

[DOI]

Hossain Shahriar

Mohammad Zulkernine

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Metasearch Services Composition in WS-BPEL - An Application of Metamorphic Testing.

[BibT_eX]

[DOI]

Azahara Camacho

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Hierarchical events for efficient distributed network analysis and surveillance.

[BibT_eX]

[DOI]

Rüdiger Gad

Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups (WAS4FI-Mashups 2012), 2012

Complex event processing applied to early maritime threat detection.

[BibT_eX]

[DOI]

Germán Fuentes-Landi

Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups (WAS4FI-Mashups 2012), 2012

2011

Evolutionary mutation testing.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

Model-Driven Design of Performance Requirements.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Quality Software, 2011

EUnit: A Unit Testing Framework for Model Management Tasks.

[BibT_eX]

[DOI]

Dimitrios S. Kolovos

Louis M. Rose

Richard F. Paige

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Model-driven Design of Performance Requirements with UML and MARTE.

[BibT_eX]

Proceedings of the ICSOFT 2011, 2011

Application of Metamorphic Testing to a Case Study in Web Services Compositions.

[BibT_eX]

[DOI]

Proceedings of the E-Business and Telecommunications - International Joint Conference, 2011

An Approach to Metamorphic Testing for WS-BPEL Compositions.

[BibT_eX]

Proceedings of the ICE-B 2011, 2011

Towards Higher-order Mutant Generation for WS-BPEL.

[BibT_eX]

Emma Blanco-Muñoz

Emilio J. Rodríguez-Posada

Proceedings of the ICE-B 2011, 2011

Learning-oriented Assessment of Wiki Contributions - How to Assess Wiki Contributions in a Higher Education Learning Setting.

[BibT_eX]

Juan Manuel Dodero

Proceedings of the CSEDU 2011, 2011

2010

A verified Common Lisp implementation of Buchberger's algorithm in ACL2.

[BibT_eX]

[DOI]

José-Luis Ruiz-Reina

J. Symb. Comput., 2010

Mutación evolutiva.

[BibT_eX]

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

SODM+T: Inferencia de restricciones de rendimiento.

[BibT_eX]

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation.

[BibT_eX]

[DOI]

Alejandro Álvarez-Ayllón

Javier Santacruz

Proceedings of the Web Engineering, 10th International Conference, 2010

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 10th International Conference, 2010

Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

2009

A Framework for Mutant Genetic Generation for WS-BPEL.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL.

[BibT_eX]

Alejandro Álvarez-Ayllón

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL.

[BibT_eX]

Lorena Gutiérrez

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 9th International Conference, 2009

GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

2008

Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions.

[BibT_eX]

Proceedings of the ICE-B 2008, 2008

Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions.

[BibT_eX]

[DOI]

Proceedings of the ECOWS 2008, 2008

2004

Verified Computer Algebra in Acl2. Gröbner Bases Computation.

[BibT_eX]

[DOI]

José A. Alonso-Jiménez

José-Luis Ruiz-Reina

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2001

A Certified Polynomial-Based Decision Procedure for Propositional Logic.

[BibT_eX]

[DOI]