Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. - Stefan Huster; Jonas Ströbele; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (ICTSS, 2017)