OASIcs, Volume 133
ICPEC 2025, July 10-11, 2025, PORTIC, Polytechnic of Porto, Portugal
Editors: Ricardo Queirós, Mário Pinto, Filipe Portela, and Alberto Simões
OASIcs, Volume 112
ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal
Editors: Ricardo Alexandre Peixoto de Queirós and Mário Paulo Teixeira Pinto
OASIcs, Volume 94
SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal
Editors: Ricardo Queirós, Mário Pinto, Alberto Simões, Filipe Portela, and Maria João Pereira
OASIcs, Volume 81
ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)
Editors: Ricardo Queirós, Filipe Portela, Mário Pinto, and Alberto Simões
OASIcs, Volume 56
SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal
Editors: Ricardo Queirós, Mário Pinto, Alberto Simões, José Paulo Leal, and Maria João Varanda
Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)
Sathwik Amburi, Tiago Espinha Gasiba, Ulrike Lechner, and Maria Pinto-Albuquerque. Enabling Secure Coding: Exploring GenAI for Developer Training and Education. In 6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 2:1-2:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{amburi_et_al:OASIcs.ICPEC.2025.2,
author = {Amburi, Sathwik and Espinha Gasiba, Tiago and Lechner, Ulrike and Pinto-Albuquerque, Maria},
title = {{Enabling Secure Coding: Exploring GenAI for Developer Training and Education}},
booktitle = {6th International Computer Programming Education Conference (ICPEC 2025)},
pages = {2:1--2:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-393-5},
ISSN = {2190-6807},
year = {2025},
volume = {133},
editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025.2},
URN = {urn:nbn:de:0030-drops-240321},
doi = {10.4230/OASIcs.ICPEC.2025.2},
annote = {Keywords: Secure Coding, Industry, Software Development, Generative AI, Large Language Models, Teaching}
}
Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)
Pedro Vasconcelos. Exploring Mutation Testing for Teaching Introductory Programming. In 6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 1:1-1:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{vasconcelos:OASIcs.ICPEC.2025.1,
author = {Vasconcelos, Pedro},
title = {{Exploring Mutation Testing for Teaching Introductory Programming}},
booktitle = {6th International Computer Programming Education Conference (ICPEC 2025)},
pages = {1:1--1:8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-393-5},
ISSN = {2190-6807},
year = {2025},
volume = {133},
editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025.1},
URN = {urn:nbn:de:0030-drops-240319},
doi = {10.4230/OASIcs.ICPEC.2025.1},
annote = {Keywords: mutation testing, programming education}
}
Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)
Teresa Terroso and Mário Pinto. The Influence of GenAI on the Evaluation of Computer Programming Students in Higher Education. In 6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 18:1-18:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{terroso_et_al:OASIcs.ICPEC.2025.18,
author = {Terroso, Teresa and Pinto, M\'{a}rio},
title = {{The Influence of GenAI on the Evaluation of Computer Programming Students in Higher Education}},
booktitle = {6th International Computer Programming Education Conference (ICPEC 2025)},
pages = {18:1--18:8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-393-5},
ISSN = {2190-6807},
year = {2025},
volume = {133},
editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025.18},
URN = {urn:nbn:de:0030-drops-240482},
doi = {10.4230/OASIcs.ICPEC.2025.18},
annote = {Keywords: Generative Artificial Intelligence, Computer Programming Education, Student Assessment, Teaching and Learning, Higher Education}
}
Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)
Diogo Gaspar Lopes, Tiago Espinha Gasiba, Sathwik Amburi, and Maria Pinto-Albuquerque. Can Open Large Language Models Catch Vulnerabilities?. In 6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 4:1-4:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gasparlopes_et_al:OASIcs.ICPEC.2025.4,
author = {Gaspar Lopes, Diogo and Espinha Gasiba, Tiago and Amburi, Sathwik and Pinto-Albuquerque, Maria},
title = {{Can Open Large Language Models Catch Vulnerabilities?}},
booktitle = {6th International Computer Programming Education Conference (ICPEC 2025)},
pages = {4:1--4:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-393-5},
ISSN = {2190-6807},
year = {2025},
volume = {133},
editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025.4},
URN = {urn:nbn:de:0030-drops-240340},
doi = {10.4230/OASIcs.ICPEC.2025.4},
annote = {Keywords: Large Language Models (LLMs), Secure Coding, CWE Classification, Machine Learning, Software Vulnerability Detection, Artificial Intelligence, Code Analysis, Big-Vul Dataset}
}
Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)
Tomáš Kormaník and Jaroslav Porubän. Rethinking IoT Education: Is the Concept Truly Grasped?. In 6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 11:1-11:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kormanik_et_al:OASIcs.ICPEC.2025.11,
author = {Korman{\'\i}k, Tom\'{a}\v{s} and Porub\"{a}n, Jaroslav},
title = {{Rethinking IoT Education: Is the Concept Truly Grasped?}},
booktitle = {6th International Computer Programming Education Conference (ICPEC 2025)},
pages = {11:1--11:8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-393-5},
ISSN = {2190-6807},
year = {2025},
volume = {133},
editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025.11},
URN = {urn:nbn:de:0030-drops-240411},
doi = {10.4230/OASIcs.ICPEC.2025.11},
annote = {Keywords: Internet of Things, Informatics Education, Higher Education, Computer Science Education}
}
Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)
Filipe Portela. A Generative Artificial Intelligence Tool to Correct Programming Exercises. In 6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 7:1-7:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{portela:OASIcs.ICPEC.2025.7,
author = {Portela, Filipe},
title = {{A Generative Artificial Intelligence Tool to Correct Programming Exercises}},
booktitle = {6th International Computer Programming Education Conference (ICPEC 2025)},
pages = {7:1--7:16},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-393-5},
ISSN = {2190-6807},
year = {2025},
volume = {133},
editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025.7},
URN = {urn:nbn:de:0030-drops-240376},
doi = {10.4230/OASIcs.ICPEC.2025.7},
annote = {Keywords: TechTeach, Information Systems, Higher Education, Generative AI, Code Exercises}
}
Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)
6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 1-226, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Proceedings{queiros_et_al:OASIcs.ICPEC.2025,
title = {{OASIcs, Volume 133, ICPEC 2025, Complete Volume}},
booktitle = {6th International Computer Programming Education Conference (ICPEC 2025)},
pages = {1--226},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-393-5},
ISSN = {2190-6807},
year = {2025},
volume = {133},
editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025},
URN = {urn:nbn:de:0030-drops-245929},
doi = {10.4230/OASIcs.ICPEC.2025},
annote = {Keywords: OASIcs, Volume 133, ICPEC 2025, Complete Volume}
}
Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)
6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{queiros_et_al:OASIcs.ICPEC.2025.0,
author = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {6th International Computer Programming Education Conference (ICPEC 2025)},
pages = {0:i--0:xii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-393-5},
ISSN = {2190-6807},
year = {2025},
volume = {133},
editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe and Sim\~{o}es, Alberto},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2025.0},
URN = {urn:nbn:de:0030-drops-245910},
doi = {10.4230/OASIcs.ICPEC.2025.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)
Ricardo Queirós, Carla Pinto, Mário Cruz, and Daniela Mascarenhas. Integrating Gamified Educational Escape Rooms in Learning Management Systems (Short Paper). In 12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 15:1-15:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{queiros_et_al:OASIcs.SLATE.2023.15,
author = {Queir\'{o}s, Ricardo and Pinto, Carla and Cruz, M\'{a}rio and Mascarenhas, Daniela},
title = {{Integrating Gamified Educational Escape Rooms in Learning Management Systems}},
booktitle = {12th Symposium on Languages, Applications and Technologies (SLATE 2023)},
pages = {15:1--15:8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-291-4},
ISSN = {2190-6807},
year = {2023},
volume = {113},
editor = {Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.15},
URN = {urn:nbn:de:0030-drops-185293},
doi = {10.4230/OASIcs.SLATE.2023.15},
annote = {Keywords: Escape Rooms, Interoperability, Learning Management Systems, Standardization}
}
Published in: OASIcs, Volume 112, 4th International Computer Programming Education Conference (ICPEC 2023)
4th International Computer Programming Education Conference (ICPEC 2023). Open Access Series in Informatics (OASIcs), Volume 112, pp. 1-152, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Proceedings{peixotodequeiros_et_al:OASIcs.ICPEC.2023,
title = {{OASIcs, Volume 112, ICPEC 2023, Complete Volume}},
booktitle = {4th International Computer Programming Education Conference (ICPEC 2023)},
pages = {1--152},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-290-7},
ISSN = {2190-6807},
year = {2023},
volume = {112},
editor = {Peixoto de Queir\'{o}s, Ricardo Alexandre and Teixeira Pinto, M\'{a}rio Paulo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2023},
URN = {urn:nbn:de:0030-drops-184951},
doi = {10.4230/OASIcs.ICPEC.2023},
annote = {Keywords: OASIcs, Volume 112, ICPEC 2023, Complete Volume}
}