Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida. Specification Based Testing of Object Detection for Automated Driving Systems via BBSL. In Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek, editors, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, Prague, Czech Republic, April 24-25, 2023. pages 250-261, SCITEPRESS, 2023. [doi]
Abstract is missing.