Gábor Horváth et al. Poster: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages. (2018) Megjelent: Proceedings of the 40th International Conference on Software Engineering Companion pp. 428-429, 3376954
Könyvrészlet/Absztrakt / Kivonat (Könyvrészlet)/Tudományos[3376954]
  1. Mikhail R. Gadelha et al. SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. (2019) Megjelent: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) pp. 11-14
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[30317055] [Nyilvános]
    Független, Idéző: 30317055, Kapcsolat: 27717964
2022-01-19 23:45