Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach

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]

Authors

Yusuke Aoyama

This author has not been identified. Look up 'Yusuke Aoyama' in Google

Takeru Kuroiwa

This author has not been identified. Look up 'Takeru Kuroiwa' in Google

Noriyuki Kushiro

This author has not been identified. Look up 'Noriyuki Kushiro' in Google