Automatic Test Case Generation with State Diagram for Validating the Solar Integrated System. - Bo Kyung Park; Woo Sung Jang; Hyun Seung Son; Keunsang Yi; Robert Young Chul Kim (ICISA, 2017)