Ian Ho

A new perspective on formal testing method for real-time software

Jin-Cherng Lin, Ian Ho, 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.

Missile guidance using dual-mode seeker

Ian Ho, Jaw-Kuen Shiau, Der-Ming Ma, 2011 .

Generating timed test cases with oracles for real-time software

Jin-Cherng Lin, Ian Ho, Jin-Cherng Lin, 2001 .

A new framework for testing real-time software

Jin-Cherng Lin, Ian Ho, Jin-Cherng Lin, 2000, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000.

Generating test cases for real-time software by time Petri nets model

Jin-Cherng Lin, Ian Ho, 1999, Proceedings Eighth Asian Test Symposium (ATS'99).

A method of test cases generation for real-time systems

Jin-Cherng Lin, Ian Ho, 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).