Art

J-GLOBAL ID：201502237080147308   Reference number：15A0386724

A Formula-Based Approach for Automatic Fault Localization of Imperative Programs

命令型プログラムの自動不具合位置決定のための公式ベース方式

Author (4)： LAMRAOUI Si-Mohamed (Graduate Univ. for Advanced Studies (SOKENDAI), JPN) ,  LAMRAOUI Si-Mohamed (National Inst. of Informatics, Tokyo, JPN) ,  NAKAJIMA Shin (Graduate Univ. for Advanced Studies (SOKENDAI), JPN) ,  NAKAJIMA Shin (National Inst. of Informatics, Tokyo, JPN)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 8829  Page： 251-266  Publication year： 2014 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (3)： 命令 ,  不具合 ,  位置決定