Symbolic execution is applicable to a:

(a) Large sized program

(b) Small sized program

(c) Medium sized program

(d)

(b) and (c)