TY - CONF AU - Mlynarski, Michael ID - 8023 T2 - Proceedings of 3rd International Conference on Software Testing, Verification and Validation TI - Holistic Model-Based Testing for Business Information Systems ER -