Chengjie Lu, Yize Shi, Huihui Zhang, Man Zhang, Tiexin Wang, Tao Yue, Shaukat Ali: Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions. IEEE Trans. Software Eng. 49(1): 384-402 (2023)