125 citations · 145 across the 2 of their papers we have counts for
2 papers
cs.CR2022★ 125 cited
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python
Laura Wartschinski, Yannic Noller, Thomas Vogel +2
Context: Identifying potential vulnerable code is important to improve the security of our software systems. However, the manual detection of software vulnerabilities requires expe…
cs.SE2022★ 20 cited
A systematic literature review on counterexample explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: Safety is of paramount importance for cyber-physical systems in domains such as automotive, robotics, and avionics. Formal methods such as model checking are one way to en…