Publications in collaboration with researchers from Universidad Politécnica de Valencia (75)

2023

  1. Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends

    Information Fusion, Vol. 100

2020

  1. Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion

    IFIP Advances in Information and Communication Technology

  2. Scriptless Testing at the GUI Level in an Industrial Setting

    Lecture Notes in Business Information Processing

2018

  1. ALBAYZIN Query-by-example Spoken Term Detection 2016 evaluation

    Eurasip Journal on Audio, Speech, and Music Processing, Vol. 2018, Núm. 1

  2. Assessing data analysis performance in research contexts: An experiment on accuracy, efficiency, productivity and researchers’ satisfaction

    Data and Knowledge Engineering, Vol. 116, pp. 177-204

  3. Towards a functional requirements prioritization with early mutation testing

    Proceedings - International Conference on Software Engineering

2017

  1. A model-level mutation tool to support the assessment of the test case quality

    Lecture Notes in Information Systems and Organisation (Springer Heidelberg), pp. 17-37

  2. CoSTest: A Tool for Validation of Requirements at Model Level

    Proceedings - 2017 IEEE 25th International Requirements Engineering Conference, RE 2017

  3. Effectiveness assessment of an early testing technique using model-level mutants

    ACM International Conference Proceeding Series

  4. Multi-messenger observations of a binary neutron star merger

    Astrophysical Journal Letters, Vol. 848, Núm. 2

  5. Using ALF within the CoSTest process for validation of UML-based conceptual schema

    CEUR Workshop Proceedings

2016

  1. A model-level mutation tool to support the assessment of the test case quality

    25th International Conference on Information Systems Development, ISD 2016

  2. Computing American option price under regime switching with rationality parameter

    Computers and Mathematics with Applications, Vol. 72, Núm. 3, pp. 741-754

  3. Finite difference methods for pricing American put option with rationality parameter: Numerical analysis and computing

    Journal of Computational and Applied Mathematics, Vol. 304, pp. 1-17

  4. Mutation operators for UML class diagrams

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. AB= BA: Execution equivalence as a new type of testing oracle

    Proceedings of the ACM Symposium on Applied Computing

  2. TESTAR: Tool support for test automation at the user interface level

    International Journal of Information System Modeling and Design, Vol. 6, Núm. 3, pp. 46-83

  3. Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability: The PAAMS Collection

    Advances in Intelligent Systems and Computing

  4. What do we know about the Defect Types detected in Conceptual Models?

    2015 IEEE 9TH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)

  5. What do we know about the defect types detected in conceptual models?

    Proceedings - International Conference on Research Challenges in Information Science