A controlled experiment in program testing and code walkthroughs/inspections | Synapse