Toward a theory of program repair Besma KhaireddineAleksandr ZakharchenkoAli Mili Original Article 27 March 2023 Pages: 209 - 255
On the undecidability and descriptional complexity of synchronized regular expressions Jingnan XieHarry B. Hunt III Original Article Open access 10 April 2023 Pages: 257 - 278
Constrained polynomial zonotopes Niklas KochdumperMatthias Althoff Original Article Open access 05 May 2023 Pages: 279 - 316
Simple chain automaton random number generator for IoT devices Pál DömösiGéza HorváthNorbert Tihanyi Original Article Open access 08 June 2023 Pages: 317 - 329