doi dblp Hard Problems in Software Testing: Solutions Using Testing as a Service (TaaS) Scott R. Tilley | Brianna Floss 2014