Links¶
Essays I’ve Liked¶
Papers I’ve Liked¶
Interesting approach to testing a program for faults. To summarize: For a set of inputs ‘I’ to a program ‘P’, ‘P’ can be divided into executed and unexecuted code (“dead code”). Re-ordering/manipulation on the dead code should cause no variance to the outputs for the inputs. This technique “EMI” allows one to have many versions of a program (in this case, a compiler) and test for miscompilations.