Nosy Newt: a concolic execution tool for exploring the input space of programsgithub.com/CIFASIS2 pointsgalapago10 years ago