Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Tu, Haoxin"'
How to find memory safety bugs efficiently when navigating a symbolic execution tree that suffers from path explosion? Existing solutions either adopt path search heuristics to maximize coverage rate or chopped symbolic execution to skip uninterestin
Externí odkaz:
http://arxiv.org/abs/2408.08772
Compiler bugs pose a significant threat to safety-critical applications, and promptly as well as effectively isolating these bugs is crucial for assuring the quality of compilers. However, the limited availability of debugging information on reported
Externí odkaz:
http://arxiv.org/abs/2307.00593
Autor:
Li, Yuxian, Weng, Jian, Wu, Wei, Li, Ming, Li, Yingjiu, Tu, Haoxin, Wu, Yongdong, Deng, Robert H.
Publikováno v:
In Journal of Parallel and Distributed Computing October 2023 180
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Compiler bugs pose a significant threat to safety-critical applications, and promptly and effectively isolating these bugs is crucial for assuring the quality of compilers. However, the limited availability of debugging information on reported bugs c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8077e9d75163cdf5fe1a7ce34c355457
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE Transactions on Reliability; 2023, Vol. 72 Issue: 1 p343-357, 15p