Yannic Noller
- Badger: complexity analysis with fuzzing and symbolic execution
2018/06/08 by Yannic Noller, Rody Kersten, Corina S. Păsăreanu · 1 voice · 3 citations
Computer Science · #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.SE
- NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
2021/02/27 by Muhammad Usman, Usman, Muhammad, Yannic Noller +7 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques