This paper presents a novel approach of generating test cases from UML design diagrams. Our approach consists of transforming a UML sequence diagram into a graph called the sequence diagram graph (SDG ...

As more and more genetically modified organisms (GMO) are commercialized, efficient and inexpensive assays are required for their quick detection. An event-specific detection strategy based on the ...

A new test generation technique for path delay faults in circuits employing scan/hold type flip-flops is presented. Reduced ordered binary decision diagrams (ROBDDs) are used to represent Boolean ...

Wire Service: OTC (COMTEX Newswire) / Fri, Aug 6, 1999 TOKYO, Aug. 6 (Kyodo) -- Trading house Nissho Iwai Corp. said Friday it will begin a joint service with BML Inc. to detect genetically modified ...