Static Analysis versus Software Model Checking for Bug Finding
Keyword(s):
2003 ◽
Vol 89
(3)
◽
pp. 378-404
◽
Keyword(s):
Keyword(s):
2015 ◽
Vol 5
(2)
◽
pp. 373-402
◽
2006 ◽
Vol 157
(1)
◽
pp. 77-94