Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Keyword(s):
Keyword(s):
2011 ◽
pp. 406-421
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):