67 citations · 299 across the 33 of their papers we have counts for
Showing 2018 · cs.SEShow all
2 papers · 2 filters
cs.SE2018★ 44 cited
Symbolic Execution for Deep Neural Networks
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang +2
Deep Neural Networks (DNN) are increasingly used in a variety of applications, many of them with substantial safety and security concerns. This paper introduces DeepCheck, a new ap…
cs.SE2018★ 67 cited
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Yannic Noller, Rody Kersten, Corina S. Păsăreanu
Hybrid testing approaches that involve fuzz testing and symbolic execution have shown promising results in achieving high code coverage, uncovering subtle errors and vulnerabilitie…