Si-Mohamed Lamraoui

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Fault Localization

Data Abstraction

Imperative Programs

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Si-Mohamed Lamraoui, Shin Nakajima
A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs. J. Inf. Process. 24 (1) (2016)
Shin Nakajima, Si-Mohamed Lamraoui
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability. CyPhy (2015)
Si-Mohamed Lamraoui, Shin Nakajima, Hiroshi Hosobe
Hardened Flow-Sensitive Trace Formula for Fault Localization. ICECCS (2015)
Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto
Studying Verification Conditions for Imperative Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Shin Nakajima, Si-Mohamed Lamraoui
Fault Localization of Timed Automata Using Maximum Satisfiability. SOFL+MSVL (2015)
Si-Mohamed Lamraoui, Shin Nakajima
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. ICFEM (2014)