Model-Based Testing of Obligatory ABAC Systems. - Samer Khamaiseh; Patrick Chapman; Dianxiang Xu (QRS, 2018)

Deviant: A Mutation Testing Tool for Solidity Smart Contracts. - Patrick Chapman; Dianxiang Xu; Lin Deng 001; Yin Xiong (Blockchain, 2019)