by Domenico Cotroneo, Domenico Di Leo, Francesco Fucci and Roberto Natella
Reference:
SABRINE: State-based robustness testing of operating systems (Domenico Cotroneo, Domenico Di Leo, Francesco Fucci and Roberto Natella), In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013 (Ewen Denney, Tevfik Bultan, Andreas Zeller, eds.), IEEE, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/kbse/CotroneoLFN13,
author = {Domenico Cotroneo and
Domenico Di Leo and
Francesco Fucci and
Roberto Natella},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {{SABRINE:} State-based robustness testing of operating systems},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {125--135},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693073},
doi = {10.1109/ASE.2013.6693073},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/CotroneoLFN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}