Type Batched Program Reduction.

Golnaz Gharachorlu Nick Sumner

Published in: ISSTA (2023)

Keyphrases

artificial intelligence
image processing
neural network
real world
multi agent
mobile robot
computer programs
static analysis
program execution