Optimizing test-generation to the execution platformAmir NahirAvi Zivet al.2012ASP-DAC 2012Conference paper