Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: a Series of Experiments