BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
 M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20210305T101312Z
DTSTART:20210331T130000Z
DTEND:20210331T140000Z
SUMMARY:Computer Science Mercury Talk
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}k1bv-ki0e61
 p9-kguboy
DESCRIPTION:Join us for the next Computer Science Mercury Talk (online):\
 n\nhttps://zoom.us/j/98440686007\n\n\nSpeaker: Kaled Alshmrany\nHost: Lu
 cas Cordeiro\n\nTitle: \nFuSeBMC: A White-Box Fuzzer for Finding Securit
 y Vulnerabilities in C Programs\n\nAbstract:\nWe describe and evaluate a
  novel white-box fuzzer for C programs named FuSeBMC\, which combines fu
 zzing and symbolic execution\, and applies Bounded Model Checking (BMC) 
 to find security vulnerabilities in C programs. FuSeBMC explores and ana
 lyzes C programs (1) to find execution paths that lead to property viola
 tions and (2) to incrementally inject labels to guide the fuzzer and the
  BMC engine to produce test-cases for code coverage. FuSeBMC successfull
 y participates in Test-Comp’21 and achieves first place in the Cover-Err
 or category and second place in the Overall category.\n\nThe link of the
  paper:\nhttps://ssvlab.github.io/lucasccordeiro/papers/fase2021.pdf\n\n
 \n
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:https://zoom.us/j/98440686007
END:VEVENT
END:VCALENDAR