Test-based model generation for legacy systems | IEEE Conference Publication | IEEE Xplore