Evaluating the robustness of automated driving planners is a critical an...
This paper demonstrates the systematic use of combinatorial coverage for...
Test and evaluation is a necessary process for ensuring that engineered
...
We analyze the Secure Remote Password (SRP) protocol for structural
weak...