Holistic Model-Based Testing for Business Information Systems | IEEE Conference Publication | IEEE Xplore