2 papers
cs.SE2021
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts
Morena Barboni, Andrea Morichetta, Andrea Polini
Smart Contracts are software programs that are deployed and executed within a blockchain infrastructure. Due to their immutable nature, directly resulting from the specific charact…
cs.MA2018
Tangramob: an agent-based simulation framework for validating urban smart mobility solutions
Carlo Castagnari, Flavio Corradini, Francesco De Angelis +3
Estimating the effects of introducing a range of smart mobility solutions within an urban area is a crucial concern in urban planning. The lack of a Decision Support System (DSS) f…