SEARCH

SEARCH BY CITATION

Cited in:

CrossRef

This article has been cited by:

  1. 1
    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

  2. 2
    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