SEARCH

SEARCH BY CITATION

Cited in:

CrossRef

This article has been cited by:

  1. 1
    Xiaoping Che, Jorge Lopez, Stephane Maag, Gerardo Morales, Testing trust properties using a formal distributed network monitoring approach, annals of telecommunications - annales des télécommunications, 2014,

    CrossRef

  2. 2
    Mikhail Chupilko, Alexander Kamkin, Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces, Electronic Proceedings in Theoretical Computer Science, 2013, 111, 67

    CrossRef

  3. 3
    Pramila Mouttappa, Stephane Maag, Ana Cavalli, Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols, Computer Networks, 2013, 57, 15, 2992

    CrossRef