Model-based Testing Considering Cost, Reliability and Software Quality | IEEE Conference Publication | IEEE Xplore