STRAIT: A Tool for Automated Software Reliability Growth Analysis | IEEE Conference Publication | IEEE Xplore