Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols Academic Article uri icon

publication date

  • July 11, 2013

start page

  • 2992

end page

  • 3008

volume

  • 57

issue

  • 15