Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Yu, Zhanghan"'
Modern compilers, such as LLVM, are complex pieces of software. Due to their complexity, manual testing is unlikely to suffice, yet formal verification is difficult to scale. End-to-end fuzzing can be used, but it has difficulties in achieving high c
Externí odkaz:
http://arxiv.org/abs/2402.05256
