Developing more reliable software faster and cheaper | IEEE Conference Publication | IEEE Xplore