News
People
Publications
Projects
Opportunities
Contact
article-journal
Teachers’ Perspective on Software Testing Education
Software testing is a critical aspect of the software development lifecycle, yet it remains underrepresented in academic curricula. …
Anna Rita Fasolino
,
Beatriz Marín
,
Tanja EJ Vos
,
Alexandra Mendes
,
Ana CR Paiva
,
Felix Cammaerts
,
Monique Snoeck
,
Mehrdad Saadatmand
,
Porfirio Tramontana
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 …
Sogol Masoumzadeh
,
Nuno Saavedra
,
Rungroj Maipradit
,
Lili Wei
,
João F. Ferreira
,
Dániel Varró
,
Shane McIntosh
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, …
Mateus Silva
,
Ana C. R. Paiva
,
Alexandra Mendes
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 …
Manfred Broy
,
Achim D. Brucker
,
Alessandro Fantechi
,
Mario Gleirscher
,
Klaus Havelund
,
Markus Kuppe
,
Alexandra Mendes
,
André Platzer
,
Jan Oliver Ringert
,
Allison Sullivan
PDF
DOI
Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study
Blockchain programs (also known as smart contracts) manage valuable assets like cryptocurrencies and tokens, and implement protocols in …
Monika di Angelo
,
Thomas Durieux
,
João F. Ferreira
,
Gernot Salzer
PDF
Code
DOI
»
Cite
×