4 papers
Automated Vulnerability Injection in Smart Contracts Using Large Language Models
Luca Migliaccio, Roberto Natella, Naghmeh Ivaki +2
Assessing vulnerability detection tools for smart contracts requires datasets with known ground truth, yet such datasets are scarce and difficult to build by hand. We propose an ap…
An Empirical Study on the Classification of Bug Reports with Machine Learning
Renato Andrade, César Teixeira, Nuno Laranjeiro +1
Software defects are a major threat to the reliability of computer systems. The literature shows that more than 30% of bug reports submitted in large software projects are misclass…
ONDA: ONline Database Architect
Nuno Laranjeiro, Alexandre Miguel Pinto
Database modeling is a key activity towards the fulfillment of storage requirements. Despite the availability of several database modeling tools for developers, these often come wi…
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
Ákos Hajdu, Naghmeh Ivaki, Imre Kocsis +5
Blockchain has become particularly popular due to its promise to support business-critical services in very different domains (e.g., retail, supply chains, healthcare). Blockchain…