Testing Environment for CPS by Cooperating Model Checking with Execution Testing.

Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro

Browse the full KES paper archive.