TY - UNPB
T1 - Neural Networks as Artificial Specifications
AU - Prasetya, I. S. W. B.
AU - Tran, Minh An
PY - 2018/9/15
Y1 - 2018/9/15
N2 - 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 to be very hard. Programs often operate on discrete domains for which patterns are difficult to discern. Earlier experiments reported too much false positives. This paper revisits an experiment by Vanmali et al. by investigating several aspects that were uninvestigated in the original work: the impact of using different learning modes, aggressiveness levels, and abstraction functions. The results are quite promising.
AB - 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 to be very hard. Programs often operate on discrete domains for which patterns are difficult to discern. Earlier experiments reported too much false positives. This paper revisits an experiment by Vanmali et al. by investigating several aspects that were uninvestigated in the original work: the impact of using different learning modes, aggressiveness levels, and abstraction functions. The results are quite promising.
KW - cs.SE
U2 - 10.48550/arXiv.1809.05701
DO - 10.48550/arXiv.1809.05701
M3 - Preprint
BT - Neural Networks as Artificial Specifications
PB - arXiv
ER -