An automated environment for software testing and reliability estimation | IEEE Conference Publication | IEEE Xplore