Errata for HVC 2017 Article "Software Verification: Testing vs. Model Checking"

- page 109: Table 2, column "Union All":
    Replace in column ECA: "338"
    by                     "328"
    Replace in column "Total found": "1176"
    by                               "1166"