Abstract is missing.
- Why blockchain is important for software developers, and why software engineering is important for blockchain software (Keynote)Michele Marchesi. 1 [doi]
- Smart contracts: security patterns in the ethereum ecosystem and solidityMaximilian Wohrer, Uwe Zdun. 2-8 [doi]
- SmartInspect: solidity smart contract inspectorSantiago Bragagnolo, Henrique Rocha, Marcus Denker, Stéphane Ducasse. 9-18 [doi]
- Smart contracts vulnerabilities: a call for blockchain software engineering?Giuseppe Destefanis, Michele Marchesi, Marco Ortu, Roberto Tonelli, Andrea Bracciali, Robert M. Hierons. 19-25 [doi]
- The ICO phenomenon and its relationships with ethereum smart contract environmentGianni Fenu, Lodovica Marchesi, Michele Marchesi, Roberto Tonelli. 26-32 [doi]
- Evaluation of initial cryptoasset offerings: the state of the practiceFelix Hartmann, Xiaofeng Wang 0001, Maria Ilaria Lunesu. 33-39 [doi]
- Checking laws of the blockchain with property-based testingAlexander Chepurnoy, Mayank Rathee. 40-47 [doi]