Works matching IS 00985589 AND DT 2014 AND VI 40 AND IP 5

Results: 5
    1
    2

    REPENT: Analyzing the Nature of Identifier Renamings.

    Published in:
    IEEE Transactions on Software Engineering, 2014, v. 40, n. 5, p. 502, doi. 10.1109/TSE.2014.2312942
    By:
    • Arnaoudova, Venera;
    • Eshkevari, Laleh M.;
    • Penta, Massimiliano Di;
    • Oliveto, Rocco;
    • Antoniol, Giuliano;
    • Gueheneuc, Yann-Gael
    Publication type:
    Article
    3

    Automated Fixing of Programs with Contracts.

    Published in:
    IEEE Transactions on Software Engineering, 2014, v. 40, n. 5, p. 427, doi. 10.1109/TSE.2014.2312918
    By:
    • Pei, Yu;
    • Furia, Carlo A.;
    • Nordio, Martin;
    • Wei, Yi;
    • Meyer, Bertrand;
    • Zeller, Andreas
    Publication type:
    Article
    4

    Modular Software Model Checking for Distributed Systems.

    Published in:
    IEEE Transactions on Software Engineering, 2014, v. 40, n. 5, p. 483, doi. 10.1109/TSE.2013.49
    By:
    • Leungwattanakit, Watcharin;
    • Artho, Cyrille;
    • Hagiya, Masami;
    • Tanabe, Yoshinori;
    • Yamamoto, Mitsuharu;
    • Takahashi, Koichi
    Publication type:
    Article
    5