Publicaciones en colaboración con investigadores/as de Universidade Do Porto (3)

2022

  1. Metamorphic testing of oracle quantum programs

    Proceedings - 3rd International Workshop on Quantum Software Engineering, Q-SE 2022

2019

  1. Message from the a- Most 2019 chairs

    Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019

2012

  1. OCE: An online colaborative editor

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