Taming test inputs for separation assurance. - Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Todd Lauderdale; Zvonimir Rakamaric; Vishwanath Raman (ASE, 2014)