Invariant-based Program Repair.

Omar I. Al-Bataineh

Published in: FASE (2024)

Keyphrases

affine transformation
affine invariant
neural network
moment invariants
programming environment
geometric transformations
real time
databases
machine learning
decision trees
image sequences
bayesian networks
object recognition
computer programs
static analysis
invariant representation