Adaptive Test Case Allocation, Selection and Generation using Coverage Spectrum and Operational Profile