• Language and Information
• /
• v.19 no.1
• /
• pp.119-146
• /
• 2015

Within the field of Korean linguistics, it has been observed that subjective adjectival predicate constructions are characteristic of imposing 'coreference constraint' on the higher and lower subjects, while evidential -te- constructions imposing 'non-coreference constraint' on them. I interpret these constraints as dependency constraints between higher and lower judge-sensitive semantic predicates, and investigate the interactions among subjective adjectival predicates, evidential -te-, and modal -keyss- in Korean. The paper ultimately argues for the necessity to add a new indexical element, the judge of evaluation(Lasersohn 2005, Stephenson 2007), to the traditional set of indices that were confined to the world and the time.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.571-575
• /
• 2010

Mutation testing is known as a very useful technique for measuring the effectiveness of a test data set and finding weak points of the test set. An equivalent mutant degrades the effectiveness of mutation testing. Elimination of equivalent mutants is a very important problem in mutation testing.In this paper, we proposed kinds of methods for detecting class-level equivalent mutants. These methods judge the equivalency of mutants through structural informations and behavioral information of the original program and mutants using static analysis. We found that our approach can detect not a few of equivalent mutants and expected that the cost of mutation testing can be saved considerably.