Method for testing, debugging, and comparing computer programs using concurrent simulation of program paths

摘要

A simulation method allowing an experimenter to test and debug computer programs concurrently. The method ultilizes the generation of signatures to observe interactions of various subprogram paths with a reference case.