Publications

These are publications from DEI faculty members regarding education, since 2020.

2026

• Saadatmand, M., Khan, A., Marín, B., Paiva, A. R., Van Asch, N., Moran, G., Cammaerts, F., Snoeck, M., & Mendes, A. Software testing education and industry needs - Report from the ENACTEST EU Project. In Product-Focused Software Process Improvement: 26th International Conference, PROFES 2025 (Lecture Notes in Computer Science, Vol. 16362, pp. 53–68). Springer. https://doi.org/10.1007/978-3-032-12092-2_4

2025

• Barros, A., Neto, H., Cunha, A., Macedo, N., & Paiva, A. C. R. Alloy Repair Hint Generation Based on Historical Data. In Formal Methods, PT II, FM 2024 (Vol. 14934, pp. 104–121). Springer. https://doi.org/10.1007/978-3-031-71177-0_8
• Broy, M., Brucker, A. D., Fantechi, A., Gleirscher, M., Havelund, K., Kuppe, M. A., Mendes, A., Platzer, A., Ringert, J. O., & Sullivan, A. Does Every Computer Scientist Need to Know Formal Methods?. Formal Aspects of Computing, 37(1), 6:1–6:17. https://doi.org/10.1145/3670795
• Carreira, C., Silva, Á. F., Abreu, A., & Mendes, A. Can large language models help students prove software correctness? An experimental study with Dafny. CoRR, abs/2506.22370.
• Cao, Z., Sá Pinto, A., & Bernardes, G. Exploring the role of sound design in serious games: Impact on user experience and learning outcomes. In Proceedings of the 17th International Conference on Computer Supported Education (CSEDU 2025) (Vol. 1, pp. 692–700). SciTePress. https://doi.org/10.5220/0013504400003932
• Marcos, R., Gomes, A., Santos, M., & Coelho, A. Histopoly: A serious game for teaching histology to 1st year veterinary students. Anatomical Sciences Education, 18(3), 229–240. https://doi.org/10.1002/ase.2545
• Potter, H., Paiva, A. C. R., Amalfitano, D., Fasolino, A. R., Tramontana, P., & Just, R. Evaluating the impact of scaffolding and visualizations for mutation testing exercises in software engineering education. In Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (FSE Companion 2025) (pp. 823–834). ACM. https://doi.org/10.1145/3696630.3727240
• Silva, M., Paiva, A. C. R., & Mendes, A. GAMFLEW: Serious game to teach white-box testing. Software Quality Journal, 33(1), Article 5. https://doi.org/10.1007/s11219-024-09706-z

2024

• Leite, C., Torres, M. F., Torres, F., & Duarte, M. (2024). Produção académica sobre questões pedagógicas no ensino superior em Portugal. Educação: Teoria e Prática, 34(67), Article e36. https://doi.org/10.18675/1981-8106.v34.n.67.s17943
• Cammaerts, F., Tramontana, P., Paiva, A. C. R., Flores, N., Pastor Ricos, F., & Snoeck, M. Exploring students' opinion on software testing courses. In Proceedings of 2024 28th International Conference on Evaluation and Assessment in Software Engineering (EASE 2024) (pp. 570–579). ACM. https://doi.org/10.1145/3661167.3661276
• Catti, P., Freitas, A., Pereira, E., Gonçalves, G., Lopes, R. P., Nikolakis, N., & Alexopoulos, K. Data analytics and AI for quality assurance in manufacturing: Challenges and opportunities. In Learning Factories of the Future, Vol. 1, CLF 2024 (Vol. 1059, pp. 205–212). Springer. https://doi.org/10.1007/978-3-031-65411-4_25
• Gerbaudo Gonzalez, N., Feijoo Quintas, S., Gandoy Crego, M., Gutierrez Moar, M. del C., Diz Lopez, M. J., Furtado, S., Gonçalves, G., & Facal, D. Promoting entrepreneurial education in doctoral programs: INVENTHEI's training for innovation-driven research (2024). IEEE Revista Iberoamericana de Tecnologias del Aprendizaje, 19, 353–360. https://doi.org/10.1109/rita.2024.3506868
• Pinto, R., Lomba Perez, A., Gonçalves, G., Lampón, J. F., & Pérez Moure, H. A proposed educational framework for professional upskilling in smart manufacturing: On-demand microlearning units. In Proceedings of the 6th International Conference on Industry 4.0 and Smart Manufacturing (ISM 2024) (Vol. 253, pp. 2039–2048). Elsevier. https://doi.org/10.1016/j.procs.2025.01.265
• Ribeiro, N., Tavares, P., Ferreira, C., & Coelho, A. Melanoma prevention using an augmented reality-based serious game. Patient Education and Counseling, 123, Article 108226. https://doi.org/10.1016/j.pec.2024.108226
• Tramontana, P., Marin, B., Paiva, A. C. R., Mendes, A., Vos, T. E. J., Amalfitano, D., Cammaerts, F., Snoeck, M., & Fasolino, A. R. State of the Practice in Software Testing Teaching in Four European Countries. In 2024 IEEE Conference on Software Testing, Verification and Validation (ICST 2024) (pp. 59–69). IEEE.
• Barros, P. L., Gonçalves, G., & Pinto, V. H. Augmented reality in industrial training: A comparative analysis of teaching methods. In Optimization, Learning Algorithms and Applications (OL2A 2024), Part I (Vol. 2280, pp. 49–64). Springer. https://doi.org/10.1007/978-3-031-77426-3_4

2023

• Flores, N., & Pinto, R. Quest-based Gamification in a software development lab course: a case study. In International Conference on Higher Education Advances, HEAd 2023 (pp. 541–548). https://doi.org/10.4995/head23.2023.16110
• Limpo, T., Vieira, A. I., Magalhaes, S., Rocha, R., Cordeiro, C., Rodrigues, R., Coelho, A., Nobrega, R., Jacob, J., Cardoso, P., Pinheiro, M., & Castro, S. L. Examining the Impact and Moderating Effects of an 8-Week Mindfulness-Based Program in Grade 4. Mindfulness, 14(8), 2026–2043. https://doi.org/10.1007/s12671-023-02189-2
• Pinto, R., Pinheiro, J., Gonçalves, G., & Ribeiro, A. Towards Industry 5.0: A Capacitation Approach for Upskilling and Technology Transfer. In Distributed Computing and Artificial Intelligence, Special Sessions I, 20th International Conference, DCAI 2023 (Vol. 741, pp. 342–351). Springer. https://doi.org/10.1007/978-3-031-38318-2_34

2022

• Sousa, D., Coelho, A., & Torres, M. (2022). Educational escape rooms activities to facilitate learning strategies and improve teaching, learning, and assessment processes. In EDULEARN22 Proceedings: 14th International Conference on Education and New Learning Technologies (pp. 2534–2539). IATED.
• Sousa, D., Coelho, A., Torres, M., Garcia, A. R., & Rossini, T. (2022). Adaptability and procedural content generation for educational escape rooms. In Proceedings of the 16th European Conference on Games Based Learning (ECGBL) (pp. 766–773).
• Morgado, L., Torres, M., Beck, D., Torres, F., Almeida, A., Simões, A., Ramalho, F., & Coelho, A. (2022). Recommendation tool for use of immersive learning environments. In Proceedings of the 8th International Conference of the Immersive Learning Research Network (iLRN) (pp. 1–8). https://doi.org/10.23919/iLRN55037.2022.9815957
• Cerqueira, J., Cunha, A., & Macedo, N. Timely specification repair for Alloy 6. In Software Engineering and Formal Methods: 20th International Conference, SEFM 2022 (Vol. 13550, pp. 288–303). Springer. https://doi.org/10.1007/978-3-031-17108-6_18
• Viana, E., Pinto, V. H., Lima, J., & Gonçalves, G. Mecanum Wheel Robotic Platform for Educational Purposes: A Cost-Effective Approach. In 2022 10th International Conference on Control, Mechatronics and Automation (ICCMA 2022) (pp. 71–75). IEEE. https://doi.org/10.1109/iccma56665.2022.10011588

2021

• Torres, M., Freitas, A., & Pêgo, J. (2021). Competências transversais de liderança e negociação para doutorandos em engenharia [Abstract]. In Livro de Resumos - 7º Congresso Nacional de Práticas Pedagógicas no Ensino Superior (p. 90).
• Cassola, F., Pinto, M., Mendes, D., Morgado, L., Coelho, A., & Paredes, H. Immersive Authoring of Virtual Reality Training. In 2021 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW 2021) (pp. 633–634). IEEE. https://doi.org/10.1109/vrw52623.2021.00199
• Conego, L., Pinto, R., & Gonçalves, G. Education 4.0 and the Smart Manufacturing Paradigm: A Conceptual Gateway for Learning Factories. In Smart and Sustainable Collaborative Networks 4.0 (PRO-VE 2021) (Vol. 629, pp. 721–728). Springer. https://doi.org/10.1007/978-3-030-85969-5_68
• Corintha, I., Outeiro, L., Dias, R., & Bernardes, G. AM-I-BLUES: An Interactive Digital Music Instrument for Guiding Novice Pianist in the Improvisation of Jazz Melodies. In Advances in Design, Music and Arts, EIMAD 2020 (Vol. 9, pp. 689–698). Springer. https://doi.org/10.1007/978-3-030-55700-3_48
• Farid, A. M., Alshareef, M., Badhesha, P. S., Boccaletti, C., Cacho, N. A. A., Carlier, C. I., Corriveau, A., Khayal, I., Liner, B., Martins, J. S. B., Rahimi, F., Rossetti, R., Schoonenberg, W. C. H., Stillwell, A., & Wang, Y. Smart City Drivers and Challenges in Energy and Water Systems. IEEE Potentials, 40(1), 6–10. https://doi.org/10.1109/mpot.2020.3011378
• Lima, B., & Araujo, A. J. The students' integration in pandemic times: MIEIC.OnBoard 2020/2021. In 2021 4th International Conference of the Portuguese Society for Engineering Education (CISPEE). IEEE. https://doi.org/10.1109/cispee47794.2021.9507201

2020

• Monteiro, A., & Torres, M. (2020). E-learning no ensino superior: Fundamentos, práticas e recomendações (C. Leite, F. Torres, & others, Collaborators) [E-book]. https://doi.org/978-989-8765-63-5
• Torres, M., Flores, N., & Torres, R. (2020). Fostering soft and hard skills for innovation among informatics engineering students – An emancipatory approach. Journal of Innovation Management, 8(1), 20–38. https://doi.org/10.24840/2183-0606_008.001_0004
• Gonçalves, G., Meneses, R., Faria, J. P., & Vidal, R. M. A living lab for professional skills development in Software Engineering Management at U. Porto. In Proceedings of the 2020 IEEE Global Engineering Education Conference (EDUCON 2020) (pp. 1079–1085). IEEE. https://doi.org/10.1109/educon45650.2020.9125099
• Macedo, N., Cunha, A., Pereira, J., Carvalho, R., Silva, R., Paiva, A. C. R., Ramalho, M. S., & Silva, D. Experiences on Teaching Alloy with an Automated Assessment Platform. In Rigorous State-Based Methods - 7th International Conference, ABZ 2020 (Vol. 12071, pp. 61–77). Springer. https://doi.org/10.1007/978-3-030-48077-6_5
• Paiva, S., Oliveira, L. R., & Reis, L. P. An assessment classification of formative evaluation tools and digital tools. In ICERI2020 Proceedings. https://doi.org/10.21125/iceri.2020.0730
• Paiva, S., & Reis, L. P. Formative Assessment and Digital Tools in a School Context. In Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020 (Vol. 1161, pp. 271–283). Springer. https://doi.org/10.1007/978-3-030-45697-9_27
• Rafael, A., Santos, C., Duque, D., Fernandes, S., Sousa, A., & Reis, L. P. Development of an AlphaBot2 Simulator for RPi Camera and Infrared Sensors. In Fourth Iberian Robotics Conference: Advances in Robotics, ROBOT 2019, Vol 1 (Vol. 1092, pp. 502–514). Springer. https://doi.org/10.1007/978-3-030-35990-4_41
• Raza, M., & Faria, J. P. The ProcessPAIR Method for Automated Software Process Performance Analysis. IEEE Access, 8, 141569–141583. https://doi.org/10.1109/access.2020.3013328