Siddhartha R. Dalal, Ashish Jain, Nachimuthu Karunanithi, J. M. Leaton, Christopher M. Lott. Model-based testing of a highly programmable system. In Ninth International Symposium on Software Reliability Engineering, ISSRE 1998, Paderborn, Germany, November 4-7, 1998. pages 174-179, IEEE Computer Society, 1998. [doi]
Abstract is missing.