Theoretical aspects of computing – ICTAC 2022 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022, proceedings - Seidl, Helmut; Liu, Zhiming; Pasareanu, Corina S. (Lecture notes in computer science, 2022)