@techreport{SisLab3198,
          number = {TR2018-FIT-11},
            type = {Technical Report},
           title = {Integrating a Testing Technique into the RTL Tool},
          author = {Nguyen Hoang Pham and Ngoc Huyen Luong and Thi Hanh Nguyen and Duc Hanh Dang},
       publisher = {VNU University of Engineering and Technology},
            year = {2018},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3198/}
}