4 ms·Nosy Newt: a concolic execution tool for exploring the input space of programs2 points by galapago 10y ago