128
click to vote
OOPSLA
2010
Springer
15 years 23 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...