Software Reliability Assessment with OR Applications