Patrick Chapman

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Mutation Testing

Model Based Testing

Database Systems

Top Venues

Publications

Patrick Chapman, Dianxiang Xu, Lin Deng, Yin Xiong
Deviant: A Mutation Testing Tool for Solidity Smart Contracts. Blockchain (2019)
Samer Khamaiseh, Patrick Chapman, Dianxiang Xu
Model-Based Testing of Obligatory ABAC Systems. QRS (2018)