Automated Software Testing Starting from Static Analysis: Current State of the Art. - Yan Wu; Jingyi Su; David D. Moran; Chris D. Near (CoRR, 2023)