1. Toward a theory of program repair

   • Besma Khaireddine
   • Aleksandr Zakharchenko
   • Ali Mili

   Original Article 27 March 2023 Pages: 209 - 255

   

2. On the undecidability and descriptional complexity of synchronized regular expressions

   • Jingnan Xie
   • Harry B. Hunt III

   Original Article Open access 10 April 2023 Pages: 257 - 278

3. Constrained polynomial zonotopes

   • Niklas Kochdumper
   • Matthias Althoff

   Original Article Open access 05 May 2023 Pages: 279 - 316

   

4. Simple chain automaton random number generator for IoT devices

   • Pál Dömösi
   • Géza Horváth
   • Norbert Tihanyi

   Original Article Open access 08 June 2023 Pages: 317 - 329