bugs

  1. Home
  2. search page
  3. keyword

bugs

정의: Bugs may refer to:

📄 키워드 상세정보

핵심 연구 분야Verification
주요 연도2021년
주요 연관 키워드software
좋아요 수0

키워드별 논문 목록 (45건)

Reinforcement learning for mutation operator selection in automated program repair
저자: Carol Hanna , Aymeric Blot , Justyna Petke
키워드: #algorithms #bugs #tools #patched #repair
파트: Artificial Intelligence | 연도: 2025
CSAFuzzer: Fuzzing smart contracts combining with static analysis
저자: Jiahui Yang , Xiangfu Zhao , Hanfeng Zhang , Long He , Shiji Wang , Naixiang Gou
키워드: #vulnerabilities #bugs #hackers #blockchain #csafuzzer
파트: Strategies | 연도: 2025
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
저자: Stefanos Chaliasos , Imam Al-Fath , Alastair F. Donaldson
키워드: #challenging #bugs #cryptographic #theoretical #fuzzing
파트: Strategies | 연도: 2025
Harpocrates: Breaking the Silence of CPU Faults through Hardware-in-the-Loop Program Generation
저자: Nikos Karystinos , George Papadimitriou , Odysseas Chatzopoulos , Dimitris Gizopoulos , George Marios Fragkoulis , Sudhanva Gurumurthi
키워드: #bugs #cpus #cpu #microarchitecture #corruptions
파트: Verification | 연도: 2025
BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis
저자: Jiaju Bai
키워드: #bugs #problematic #sqlite #aliased #dereferences
파트: Verification | 연도: 2025
Property-based Testing of Attribute Grammars
저자: José Nuno Macedo , Marcos Viera , João Saraiva
키워드: #software #bugs #grammar #programmers #grammars
파트: Verification | 연도: 2025
BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques
저자: M M Naziri , Aman Kumar Singh , Benjamin Wu , Feiran (Alex) Qin , Saikat Dutta , Marcelo d'Amorim
키워드: #software #bugs #gpu #libraries #bugsindlls
파트: Verification | 연도: 2025
OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
저자: Yinliang Yue , Haoyu Wang , Jie Ma , Ningyu He , Jinwen Xi , Mingzhe Xing , Ying Gao
키워드: #severe #bugs #largest #ethereum #millions
파트: Analysis | 연도: 2025
Automated Vulnerability Detection in Source Code Using Deep Representation Learning
저자: Christoforos Seas , Glenn Fitzpatrick , John A. Hamilton , Martin C. Carlisle
키워드: #vulnerabilities #software #bugs #testing #labs
파트: Strategies | 연도: 2024
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
저자: Mingwei Zheng , Qingkai Shi , Xuwei Liu , Xiangzhe Xu , Le Yu , Congyu Liu , Guannan Wei , Xiangyu Zhang
키워드: #inconsistencies #challenging #bugs #corruption #crashes
파트: Strategies | 연도: 2024