Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, Roberto Natella
SABRINE: State-based robustness testing of operating systems
ASE, 2013.
@inproceedings{ASE-2013-CotroneoLFN,
author = "Domenico Cotroneo and Domenico Di Leo and Francesco Fucci and Roberto Natella",
booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2013.6693073",
pages = "125--135",
publisher = "{IEEE}",
title = "{SABRINE: State-based robustness testing of operating systems}",
year = 2013,
}