article-journal

Understanding Prompt Quality and Its Relation to LLM-based Code Generation
Prompt engineering has emerged as a key practice to guide Large Language Models (LLMs) in code generation tasks, under the assumption …
PDF Dataset DOI Publisher
Teachers’ Perspective on Software Testing Education
Software testing is a critical aspect of the software development lifecycle, yet it remains underrepresented in academic curricula. …
PDF DOI
Do Experts Agree About Smelly Infrastructure?
Code smells are anti-patterns that violate code understandability, re-usability, changeability, and maintainability. It is important to …
PDF
GAMFLEW: Serious game to teach white-box testing
Software testing plays a fundamental role in software engineering, involving the systematic evaluation of software to identify defects, …
PDF DOI
Does Every Computer Scientist Need to Know Formal Methods?
We focus on the integration of Formal Methods as mandatory theme in any Computer Science University curriculum. In particular, when …
PDF DOI