Modelling software operational reliability via input domain-based reliability growth model | IEEE Conference Publication | IEEE Xplore