Scenario-based test case generation for state-based embedded systems.

Wei-Tek Tsai, L. Yu, X. X. Liu, A. Saimi, Y. Xiao

Browse the full IPCCC paper archive.