Search - Testing Software and Systems (ICTSS 2017) Access content directly

Filter your results

1 Array
Keywords : Software verification
Image document

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
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.54-70, ⟨10.1007/978-3-319-67549-7_4⟩
Conference papers hal-01678963v1