Logic LSI Testing

Logic LSI Yield Improvement Analysis By Means of Fault Diagnosis

Advancements consequent on the increase in functions and the decrease in the size and weight of home electrical appliances and various related devices have been promoting improvements to the micro-fabrication technologies. This trend is tending to bring about increases in the scale of the LSIs that are used in them. In the case of the LSIs, it is extremely important to ramp up and maintain a hi...

LRLW-LSI: An Improved Latent Semantic Indexing (LSI) Text Classifier

The task of Text Classification (TC) is to automatically assign natural language texts with thematic categories from a predefined category set. And Latent Semantic Indexing (LSI) is a well known technique in Information Retrieval, especially in dealing with polysemy (one word can have different meanings) and synonymy (different words are used to describe the same concept), but it is not an opti...

Improving logic-based testing

Logic-based testers design tests from logical expressions that appear in software artifacts such as source code, design models, and requirements specifications. This paper presents three improvements to logic-based test design. First, in the context of mutation testing, we present fault hierarchies for the six relational operators. Applying the ROR mutation operator causes each relational opera...

Testing of FPGA Logic Cells

Concolic testing in logic programming

Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a systematic approach for dynamic testing that combines both concrete and symbolic execution. Our approach is fully automatic and guarantees full path coverage when it terminates. W...