A new disjunctive literal insertion fault detection strategy in boolean specifications
2015 ◽
Vol 36
◽
pp. 108-119
◽
Keyword(s):
2015 ◽
Vol 15
(6)
◽
pp. 1664-1672
◽
2017 ◽
Vol 75
◽
pp. 317-326
◽
Keyword(s):
2018 ◽
Vol 56
(10)
◽
pp. 1604-1621
◽