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

Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro

Browse the full APSEC paper archive.