Find link

language:

Find link is a tool written by Edward Betts.

searching for Dynamic program analysis 1 found (28 total)

alternate case: dynamic program analysis

Device driver synthesis and verification (3,035 words) [view diff] exact match in snippet view article find links to article

example trace and it is hard to find the exact faulty location. Dynamic program analysis is performed by running the program with sufficient test inputs