Symbolic Execution for Attribution and Attack Synthesis in Neural Networks | IEEE Conference Publication | IEEE Xplore