BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Computer Science - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Computer Science
X-ORIGINAL-URL:https://csc.ncsu.edu
X-WR-CALDESC:Events for Computer Science
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20270314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20271107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20260116T150000
DTEND;TZID=America/New_York:20260116T160000
DTSTAMP:20260418T065556
CREATED:20260109T190820Z
LAST-MODIFIED:20260109T190820Z
UID:10000045-1768575600-1768579200@csc.ncsu.edu
SUMMARY:Specializing Runtime Verification for Software Testing
DESCRIPTION:Abstract:  \nRuntime verification promises to make software more reliable by monitoring program executions against formal specifications of safety properties. This talk will present results from work that my group did over the last several years to realize this promise in the context of software testing. I will start by briefly summarizing our early results showing that runtime verification during testing finds hundreds of confirmed bugs that testing alone misses in large open-source software\, and that exploiting developers’ small but frequent code changes scales runtime verification better during continuous integration. Next\, I will discuss four challenges that we identified\, which must be addressed if runtime verification is to become more widely used among developers. Lastly\, I will present our recent results and works-in-progress that address these challenges\, and (if time permits) new types of software tests that we invented in the process. \nBio:  \nOwolabi Legunsen is an assistant professor in the Department of Computer Science at Cornell University. His research is on software engineering\, with a focus on software testing\, runtime verification\, and the unification of both approaches. Owolabi’s work has been recognized with four ACM SIGSOFT Distinguished Paper awards\, an NSF CAREER Award\, and an Intel Rising Star Faculty Award. \nHost: Marcelo d’Amorim
URL:https://csc.ncsu.edu/event/specializing-runtime-verification-for-software-testing/
LOCATION:EB2 3211 Seminar Room\, 890 Oval Dr.\, Raleigh\, NC\, 27695\, United States
CATEGORIES:Lecture/Seminar
END:VEVENT
END:VCALENDAR