Rafik Kheddam

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 2

Top Topics

Mutation Testing

Social Bookmarking

Radio Frequency Identification

Security Protocols

Top Venues

Softw. Test. Verification Reliab.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Pierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
A Model-Based Testing Approach for Security Protocols. CSE/EUC/DCABES (2016)
Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
Model-based mutation testing from security protocols in HLPSL. Softw. Test. Verification Reliab. 25 (5-7) (2015)
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis, Sanaa Boughazi
Monitoring of RFID failures resulting from LLRP misconfigurations. SoftCOM (2013)
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis
An Extended LLRP Model for RFID System Test and Diagnosis. ICST (2012)
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis
Online monitoring and diagnosis of RFID readers and tags. SoftCOM (2012)
Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam
Mutation-Based Test Generation from Security Protocols in HLPSL. ICST (2011)