On the Automatic Validation of Parameterized Unity Programs.

Jean-Paul Bodeveix Mamoun Filali

Published in: IPPS/SPDP Workshops (1998)

Keyphrases

fully automatic
automatic programming
database
information retrieval
reinforcement learning
object oriented