Archives

E. De Angelis, G. De Angelis, M. Mongelli, M. Proietti: A Validation Methodology for XAI Decision SupportSystems Against Relational Domain Properties. J. Softw. Evol. Process. 37(10) (2025)

The global adoption of artificial intelligence (AI) has increased dramatically in recent years, becoming commonplace in manyfields. Such a pervasiveness has led to changes in how AI is perceived, strengthening discussions on its societal consequences.Thus, a new class of requirements for AI-based solutions emerged. Broadly speaking, those on “explainability” aim to providea transparent representation of […]

Read More

M. Barboni, G. De Angelis, A. Morichetta, A. Polini: Wielding Blockchain Transactions for Capture-Replay Testing of Upgradeable Smart Contracts. ACM Trans. Internet Techn. 25(3): 19:1-19:30 (2025)

Blockchain technology is increasingly adopted in scenarios requiring trust and data integrity. On the Ethereum blockchain, the proxy pattern has become increasingly popular because it allows smart contract code to evolve while preserving stored data. However, a key challenge remains ensuring that such upgrades do not introduce breaking changes or cause disruptions to other contracts […]

Read More