Concolic testing for high test coverage and reduced human effort in automotive industry. - Yunho Kim; Dongju Lee; Junki Baek; Moonzoo Kim (ICSE (SEIP), 2019)

MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry. - Yunho Kim; Dongju Lee; Junki Baek; Moonzoo Kim (Inf. Softw. Technol., 2020)