selected publications

• academic article

  • Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols.  Computer Networks.  57:2992-3008. 2013

• chapter

  • Symbolic-Based Monitoring for Embedded Applications.  Human computer interaction.. 939-961. 2015

• conference paper

  • Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study.  . 1-10. 2013