Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution

Table 3

Samples for hypothesis validation.

a = 0.05	p	n	c	x
	0.7	216	169	170
	0.93	170	163	163