Three-valued neural networks for test generation | IEEE Conference Publication | IEEE Xplore