Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro. Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach. In 25th Asia-Pacific Software Engineering Conference, APSEC 2018, Nara, Japan, December 4-7, 2018. pages 693-694, IEEE, 2018. [doi]
Abstract is missing.