Supporting Domain Experts by using Model-Based Equivalence Class Partitioning for Efficient Test Data Generation | IEEE Conference Publication | IEEE Xplore