Bi-criteria models for all-uses test suite reduction | IEEE Conference Publication | IEEE Xplore