When testing a system modelled as a nite state machine it is de sirable to minimize the e ort required Yang and Ural demon strate that it is possible to utilize test sequence overlap in order to reduce the test e ort and Hierons represents this overlap by us ing invertible transitions In this paper invertibility will be extended to sequences in order to further reduce the test e ort and encapsu...

INTRODUCTION: The STR/ort strain of mouse, an inbred strain derived from STR/1N, has been reported to be an acceptable animal model for studying the development of osteoarthritis (OA) [1]. About 85% of all male mice spontaneously develop OA in the medial tibial plateau of the knee joint at 7-9 months of age. Importantly, histopathological changes in the lesions of the STR/ort mouse closely rese...

Building knowledge-based systems today usually entails constructing a new knowledge base from scratch. Even if several groups of researchers are working in the same general area, such as medicine or electronic diagnosis, each team must develop its own knowledge base from scratch. The cost of this duplication of effort has been high and will become prohibitive as we build larger and larger syste...