TauJud: test augmentation of machine learning in judicial documents. - Zichen Guo; Jiawei Liu; Tieke He; Zhuoyang Li; Peitian Zhangzhu (ISSTA, 2020)