publication venue for ExSol. 2:1-23. 2021 Fuzzing and Symbolic Execution for Multipath Malware Tracing: Bridging Theory and Practice via Survey and Experiments Machine Learning (In) Security: A Stream of Problems