Si-Mohamed Lamraoui

According to our database, Si-Mohamed Lamraoui authored at least 7 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Formula-based Fault Localization for Imperative Programs with Multiple Faults.

Si-Mohamed Lamraoui

PhD thesis, 2016

A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs.

Si-Mohamed Lamraoui, Shin Nakajima

J. Inf. Process., 2016

2015

Studying Verification Conditions for Imperative Programs.

Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto

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

Fault Localization of Timed Automata Using Maximum Satisfiability.

Shin Nakajima, Si-Mohamed Lamraoui

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Hardened Flow-Sensitive Trace Formula for Fault Localization.

Si-Mohamed Lamraoui, Shin Nakajima, Hiroshi Hosobe

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability.

Shin Nakajima, Si-Mohamed Lamraoui

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

2014

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

Si-Mohamed Lamraoui, Shin Nakajima

Proceedings of the Formal Methods and Software Engineering, 2014