Output-based Intermediate Representation for Translation of Test-pattern Program

Minsu Kim, Jeong-Keun Park, Sungyeol Kim, Insu Yang, Hyunsoo Jung, Soo-Mook Moon. Output-based Intermediate Representation for Translation of Test-pattern Program. ACM Trans. Embedded Comput. Syst., 18(5s), 2019. [doi]

Abstract

Abstract is missing.