Neural Networks as Artificial Specifications. - I. S. Wishnu B. Prasetya; Minh An Tran (ICTSS, 2018)