Neural Networks as Artificial Specifications

I. S. W. B. Prasetya, Minh An Tran

In theory, a neural network can be trained to act as an artificial specification for a program by showing it samples of the programs executions. In practice, the training turns out…