Porantim: An approach to support the combination and selection of Model-based Testing techniques | IEEE Conference Publication | IEEE Xplore