Model-based testing for enterprise software solutions | IEEE Conference Publication | IEEE Xplore