IdézéskapcsolatMikhail R. et al. SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. (2019) Megjelent: ICSE '19 Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings pp. 11-14

Közlemény:
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
Kapcsolódó cikk:
Mikhail R. et al. SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. (2019) Megjelent: ICSE '19 Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings pp. 11-14
Független: Igen
2020-12-04 15:28