Empirically evolving software techniques:the high dependability computing project | IEEE Conference Publication | IEEE Xplore