Institute of Computer Science University of Bremen Bremen Germany

  1. Home
  2. search page
  3. affiliation

Institute of Computer Science University of Bremen Bremen Germany

국가: Germany
주요 연구 분야: Verification
주요 키워드: #experiments #software #testing
주요 저자:
#Niklas Bruns #Vladimir Herdt #Rolf Drechsler #R. Drechsler #Vladimir Herdt

📄 기관 상세정보

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

논문 목록 (2건)

Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing
저자: R. Drechsler , Vladimir Herdt , Sören Tempel
키워드: #experiments #software #testing #searching #programming
파트: Verification | 연도: 2022
Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification
저자: Niklas Bruns , Vladimir Herdt , Rolf Drechsler
키워드: #experiments #integration #software #necessary #verification
파트: Verification | 연도: 2022