Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa: Architecture-Guided Test Resource Allocation Via Logic. CoRR abs/2107.10948 (2021)