共 50 条
[47]
Covering Arrays Generation Methods Survey
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II,
2010, 6416
:382-396