AbsCon: A Test Concretizer for Model-Based Testing | IEEE Conference Publication | IEEE Xplore