A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. - Si-Mohamed Lamraoui; Shin Nakajima 001 (ICFEM, 2014)

Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability. - Shin Nakajima 001; Si-Mohamed Lamraoui (CyPhy, 2015)

Hardened Flow-Sensitive Trace Formula for Fault Localization. - Si-Mohamed Lamraoui; Shin Nakajima 001; Hiroshi Hosobe (ICECCS, 2015)

Fault Localization of Timed Automata Using Maximum Satisfiability. - Shin Nakajima 001; Si-Mohamed Lamraoui (SOFL+MSVL, 2015)

Studying Verification Conditions for Imperative Programs. - Cláudio Belo Lourenço; Si-Mohamed Lamraoui; Shin Nakajima 001; Jorge Sousa Pinto (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs. - Si-Mohamed Lamraoui; Shin Nakajima 001 (J. Inf. Process., 2016)

Formula-based Fault Localization for Imperative Programs with Multiple Faults. - Si-Mohamed Lamraoui (2016)