Extending Source Code Generators for Evidence-Based Software Certification | IEEE Conference Publication | IEEE Xplore