A Novel Indirect Methodology Based on Execution Traces for Grading Functional Test Programs | Synapse