A flexible generator architecture for improving software dependability | IEEE Conference Publication | IEEE Xplore