Paolo Arcaini, Ahmet Cetinkaya. CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. In IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT@ICSE 2023, Melbourne, Australia, May 14, 2023. pages 41-42, IEEE, 2023. [doi]
Abstract is missing.