Works matching IS 14332779 AND DT 2012 AND VI 14 AND IP 3

Results: 6
    1

    Software monitoring with controllable overhead.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 327, doi. 10.1007/s10009-010-0184-4
    By:
    • Huang, Xiaowan;
    • Seyster, Justin;
    • Callanan, Sean;
    • Dixit, Ketan;
    • Grosu, Radu;
    • Smolka, Scott;
    • Stoller, Scott;
    • Zadok, Erez
    Publication type:
    Article
    2
    3

    What can you verify and enforce at runtime?

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 349, doi. 10.1007/s10009-011-0196-8
    By:
    • Falcone, Yliès;
    • Fernandez, Jean-Claude;
    • Mounier, Laurent
    Publication type:
    Article
    4

    An overview of the MOP runtime verification framework.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 249, doi. 10.1007/s10009-011-0198-6
    By:
    • Meredith, Patrick;
    • Jin, Dongyun;
    • Griffith, Dennis;
    • Chen, Feng;
    • Roşu, Grigore
    Publication type:
    Article
    5
    6