Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques
ICTSS, 2017.
@inproceedings{ICTSS-2017-HusterSRKR,
author = "Stefan Huster and Jonas Ströbele and Jürgen Ruf and Thomas Kropf and Wolfgang Rosenstiel",
booktitle = "{Proceedings of the 29th International Conference on Testing Software and Systems}",
doi = "10.1007/978-3-319-67549-7_4",
isbn = "['978-3-319-67548-0', '978-3-319-67549-7']",
pages = "54--70",
publisher = "{Springer}",
title = "{Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques}",
year = 2017,
}
Tags:
