article-journal

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
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 …
PDF Code DOI
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
Vulnerability detection and repair is a demanding and expensive part of the software development process. As such, there has been an …
PDF DOI