A Method to Generate Conformance Test Sequences for FSM with Timer System Call.

Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino

Browse the full FORTE paper archive.