Repository logo Institutional repository
  • Communities & Collections
  • Browse
  • Site
Search repository
High contrast
  1. Home
  2. Browse by Author

Browsing by Author "Manino, Edoardo"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Results Per Page
  • Sort Options
  • Loading...
    Thumbnail Image
    Publication

    Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

    Aljaafari, Fatimah K.
    ;
    Menezes, Rafael
    ;
    Manino, Edoardo
    ;
    Shmarov, Fedor
    ;
    Mustafa, Mustafa A.
    Journal article
    2022, IEEE ACCESS, (10) 1, p.121365-121384

Follow imec on

VimeoLinkedInFacebook

The repository

  • Contact us
  • Policy
  • About imec
Privacy statement | Cookie settings