PaTran: Translation Platform for Test Pattern Program. - Jung-Geun Park; Minsu Kim; Soo-Mook Moon; Sungyeol Kim; Insu Yang; Hyunsoo Jung (ETS, 2019)

Output-based Intermediate Representation for Translation of Test-pattern Program. - Minsu Kim; Jeong-Keun Park; Sungyeol Kim; Insu Yang; Hyunsoo Jung; Soo-Mook Moon (ACM Trans. Embed. Comput. Syst., 2019)