Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed

@inproceedings {267115,
author = {Justin Cappos and Jonathan Jacky},
title = {Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed},
booktitle = {5th International Workshop on Systems Software Verification (SSV 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/ssv10/model-based-testing-without-model-assessing-portability-seattle-testbed},
publisher = {USENIX Association},
month = oct
}