V.: Taming Test Inputs for Separation Assurance (2014)

by D Giannakopoulou, F Howar, M Isberner, T Lauderdale, Z Rakamarić, Raman
Venue:ASE ’14, ACM