00588oam 2200193z- 450 99103406107033211-7281-2237-6(CKB)4100000009184165(EXLCZ)99410000000918416520220628c2019uuuu -u- -eng2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST)IEEE1-7281-2238-4 2019 IEEE/ACM 14th International Workshop on Automation of Software Test PROCEEDING99103406107033212019 IEEE2247201UNINA