Works matching IS 00015903 AND DT 2023 AND VI 60 AND IP 3

Results: 4
    1
    2
    3

    Toward a theory of program repair.

    Published in:
    Acta Informatica, 2023, v. 60, n. 3, p. 209, doi. 10.1007/s00236-023-00438-4
    By:
    • Khaireddine, Besma;
    • Zakharchenko, Aleksandr;
    • Martinez, Matias;
    • Mili, Ali
    Publication type:
    Article
    4

    Constrained polynomial zonotopes.

    Published in:
    Acta Informatica, 2023, v. 60, n. 3, p. 279, doi. 10.1007/s00236-023-00437-5
    By:
    • Kochdumper, Niklas;
    • Althoff, Matthias
    Publication type:
    Article