Works matching IS 14332779 AND DT 2024 AND VI 26 AND IP 5


Results: 7
    1
    2

    State of the art in program analysis.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 5, p. 569, doi. 10.1007/s10009-024-00766-x
    By:
    • Ferrara, Pietro;
    • Hadarean, Liana
    Publication type:
    Article
    3
    4

    User-assisted code query customization and optimization.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 5, p. 607, doi. 10.1007/s10009-024-00763-0
    By:
    • Liblit, Ben;
    • Lyu, Yingjun;
    • Mukherjee, Rajdeep;
    • Tripp, Omer;
    • Wang, Yanjun
    Publication type:
    Article
    5
    6

    Speeding up static analysis with the split operator.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 5, p. 573, doi. 10.1007/s10009-024-00761-2
    By:
    • Arceri, Vincenzo;
    • Dolcetti, Greta;
    • Zaffanella, Enea
    Publication type:
    Article
    7

    The Reactive Synthesis Competition (SYNTCOMP): 2018–2021.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 5, p. 551, doi. 10.1007/s10009-024-00754-1
    By:
    • Jacobs, Swen;
    • Pérez, Guillermo A.;
    • Abraham, Remco;
    • Bruyère, Véronique;
    • Cadilhac, Michaël;
    • Colange, Maximilien;
    • Delfosse, Charly;
    • van Dijk, Tom;
    • Duret-Lutz, Alexandre;
    • Faymonville, Peter;
    • Finkbeiner, Bernd;
    • Khalimov, Ayrat;
    • Klein, Felix;
    • Luttenberger, Michael;
    • Meyer, Klara;
    • Michaud, Thibaud;
    • Pommellet, Adrien;
    • Renkin, Florian;
    • Schlehuber-Caissier, Philipp;
    • Sakr, Mouhammad
    Publication type:
    Article