Cyber Security Seminar by Prof. dr. Pieter Hartel: Testing smart contracts

11 June 2019 12:00 till 12:45 - Location: FACULTY EEMCS-BUILDING 28, TURING COLLOQUIUMROOM 0.E420

A smart contract is a program designed to express business logic on a blockchain system. Smart contracts are programmed in domain specific languages, often with novel features. Like all programs, smart contracts must be tested.  In this talk we will focus on mutation testing and present speficific mutation operators for smart contracts.  Preliminary results indicate that these operators are reasonably effective.