Art
J-GLOBAL ID：201302202132857314   Reference number：13A1340380

Automated Error Localization with Weighted Partial Maximum Satisfiability

重み付け部分最大充足可能性による自動誤り位置確定
Author (2)：
LAMRAOUI Si-Mohamed

About LAMRAOUI Si-Mohamed

(SOKENDAI & National Inst. of Informatics, Tokyo, JPN)

About SOKENDAI & National Inst. of Informatics, Tokyo, JPN

, 
NAKAJIMA Shin

About NAKAJIMA Shin

(SOKENDAI & National Inst. of Informatics, Tokyo, JPN)

About SOKENDAI & National Inst. of Informatics, Tokyo, JPN


Material：
電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))

About 電子情報通信学会技術研究報告


Volume： 113  Issue： 159(SS2013 13-35)  Page： 1-6  Publication year： Jul. 18, 2013 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*program verification

About program verification

, 
*positioning

About positioning

, 
*software failure

About software failure

, 
*satisfiability problem

About satisfiability problem

, 
weighting

About weighting

, 
automation

About automation

, 
compiler

About compiler


JST classification (1)：
JST classification
Category name(code) classified by JST.
Computer system development 
(JD02010R)

About Computer system development

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
重み付け

About 重み付け

, 
充足可能性

About 充足可能性

, 
誤り

About 誤り

, 
確定

About 確定


Return to Previous Page

TOP

BOTTOM