Using back-propagation neural networks for functional software testing | IEEE Conference Publication | IEEE Xplore