Automated design error debug using high-level decision diagrams and mutation operators
2013 ◽
Vol 37
(4-5)
◽
pp. 505-513
◽
Keyword(s):
2020 ◽
Vol 17
(01)
◽
pp. 1950029
Keyword(s):
Keyword(s):
2013 ◽
pp. 85-96
◽