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

Results: 6

    • 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

    • The Clara framework for hybrid typestate analysis.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 307, doi. 10.1007/s10009-010-0183-5
      By:
      • Bodden, Eric;
      • Hendren, Laurie
      Publication type:
      Article

    • 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

    • 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

    • Runtime verification of concurrency-specific correctness criteria.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 291, doi. 10.1007/s10009-011-0210-1
      By:
      • Qadeer, Shaz;
      • Tasiran, Serdar
      Publication type:
      Article

    • Introduction to the special section on runtime verification.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 243, doi. 10.1007/s10009-011-0218-6
      By:
      • Sokolsky, Oleg;
      • Havelund, Klaus;
      • Lee, Insup
      Publication type:
      Article