@corbin Probably still 5 years too soon but I would hope the 2027 CS student will be taught the usual engineering flow of specification, formal verification and safety analysis, design, some coding and what should be tiny bit of debug during validation at the end.

Reproducability is everything. If your binary isn't an exact match for the previous tested copy you are doing QA not production.