FACTS: automated black-box testing of FinTech systems. - Qingshun Wang; Lintao Gu; Minhui Xue 001; Lihua Xu; Wenyu Niu; Liang Dou; Liang He 001; Tao Xie 001 (ESEC/SIGSOFT FSE, 2018)