Software testing-resource allocation with operational profile. - Satoru Ukimoto; Tadashi Dohi; Hiroyuki Okamura (SAC, 2012)