Statistical Inference for Software Reliability Constrained by the Shape of the Mean Value Function | Synapse