Application of system models in regression test suite prioritization | IEEE Conference Publication | IEEE Xplore