Software validation via scalable path-sensitive value flow analysis
2004 ◽
Vol 29
(4)
◽
pp. 12-22
◽
2022 ◽
pp. 1235-1243
2014 ◽
Vol 40
(2)
◽
pp. 107-122
◽
2019 ◽
Vol 17
(2)
◽
pp. 4869-4882
Keyword(s):
Keyword(s):
2018 ◽
Vol 34
(2)
◽
pp. 807-818
◽
2019 ◽
Vol 213
◽
pp. 577-587
◽
Keyword(s):