Works matching IS 14332779 AND DT 2019 AND VI 21 AND IP 1

Results: 5
    1

    TESTREX: a framework for repeatable exploits.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 1, p. 105, doi. 10.1007/s10009-017-0474-1
    By:
    • Dashevskyi, Stanislav;
    • dos Santos, Daniel Ricardo;
    • Massacci, Fabio;
    • Sabetta, Antonino
    Publication type:
    Article
    2

    Reliable benchmarking: requirements and solutions.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 1, p. 1, doi. 10.1007/s10009-017-0469-y
    By:
    • Beyer, Dirk;
    • Löwe, Stefan;
    • Wendler, Philipp
    Publication type:
    Article
    3

    Greedy pebbling for proof space compression.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 1, p. 71, doi. 10.1007/s10009-017-0459-0
    By:
    • Fellner, Andreas;
    • Woltzenlogel Paleo, Bruno
    Publication type:
    Article
    4

    Hybrid automata: from verification to implementation.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 1, p. 87, doi. 10.1007/s10009-017-0458-1
    By:
    • Bak, Stanley;
    • Beg, Omar Ali;
    • Bogomolov, Sergiy;
    • Johnson, Taylor T.;
    • Nguyen, Luan Viet;
    • Schilling, Christian
    Publication type:
    Article
    5

    First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 1, p. 31, doi. 10.1007/s10009-017-0454-5
    By:
    • Bartocci, Ezio;
    • Falcone, Yliès;
    • Bonakdarpour, Borzoo;
    • Colombo, Christian;
    • Decker, Normann;
    • Havelund, Klaus;
    • Joshi, Yogi;
    • Klaedtke, Felix;
    • Milewicz, Reed;
    • Reger, Giles;
    • Rosu, Grigore;
    • Signoles, Julien;
    • Thoma, Daniel;
    • Zalinescu, Eugen;
    • Zhang, Yi
    Publication type:
    Article