Approach to Testing Many State Machine Models in Education.

Shinpei Ogata, Mizue Kayama, Kozo Okano

Browse the full CSEDU paper archive.