A method of automatic regression testing includes loading binary code representing a first version of a program, extracting a second version of the program embedded within the binary code of the first version of the program, executing a standalone model of the second version of the program based on the extracted second version, wherein executing includes executing a set of instructions to identify at least one error, determining if the standalone model causes the at least one error, and storing results based on the determining.