Model and Program Repair via Group Actions - Attie, Paul C.; Cocke, William L. (Lecture Notes in Computer Science ; Foundations of Software Science and Computation Structures ; page 520-540 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031308284 9783031308291, 2023)