Can this fault be detected: A study on fault detection via automated test generation

Ping Ma, Hangyuan Cheng, Jingxuan Zhang, Jifeng Xuan. Can this fault be detected: A study on fault detection via automated test generation. Journal of Systems and Software, 170:110769, 2020. [doi]

Abstract

Abstract is missing.