Model-based test cases generation for Onboard system.

Jidong Lv, Kaicheng Li, Guodong Wei, Tao Tang, Chenling Li, Wenhui Zhao

Browse the full ISADS paper archive.