Verification of Software Product Lines with Delta-Oriented Slicing
Keyword(s):
Keyword(s):
2013 ◽
Vol 78
(12)
◽
pp. 2399-2413
◽