Cornell University Ithaca USA

  1. Home
  2. search page
  3. affiliation

Cornell University Ithaca USA

국가: United States
주요 연구 분야: Verification
주요 키워드: #software #bugs #detection
주요 저자:
#Kevin Guan #Owolabi Legunsen #Alessandro Erba #Andrés Felipe Murillo #Riccardo Taormina

📄 기관 상세정보

출판수3
총 인용수2
평균 인용수0.67
저자 수13
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (3건)

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
An In-Depth Study of Runtime Verification Overheads during Software Testing
저자: Kevin Guan , Owolabi Legunsen
키워드: #researchers #software #bugs #executions #amortizing
파트: Verification | 연도: 2024
On Practical Realization of Evasion Attacks for Industrial Control Systems
저자: Alessandro Erba , Andrés Felipe Murillo , Riccardo Taormina , Stefano Galelli , Nils Ole Tippenhauer
키워드: #detection #attacker #attack #attackers #countermeasures
파트: Infrastructure | 연도: 2024