BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IMUnit: Improved Multithreaded Unit Testing 
DTSTART:20110621T161500
DTSTAMP:20260407T011302Z
UID:a9130aae6d531f47b6fd528804510382612826d3d312b04c314c1b35
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Darko Marinov\, University of Ilinois at Urbana-Champaig
 n\nMultithreaded code is getting increasingly important but remains extrem
 ely hard to develop and test.  Most recent research on testing multithread
 ed code focuses solely on finding bugs in one given version of code.  Whil
 e there are many promising results\, the tools are fairly slow because the
 y explore a large number of thread schedules and do not exploit the fact t
 hat code evolves through several versions during development and maintenan
 ce.  Our overarching goal is to improve (regression) testing of multithrea
 ded code.  This talk focuses on a novel approach to specifying and executi
 ng schedules for multithreaded tests.  Traditionally\, developers enforce 
 a particular schedule with time delays\, e.g.\, using Thread.sleep in Java
 .  Unfortunately\, this sleep-based approach can produce false positives o
 r negatives\, and can result in unnecessarily long testing time.  We intro
 duce a new language that allows specifying schedules as constraints on the
  events during test execution.  We provide a tool that automatically contr
 ols the code to execute the specified schedule and a tool that helps devel
 opers to migrate their legacy\, sleep-based tests into event-based tests i
 n our language.  The latter tool uses new techniques for inferring events 
 and schedules from the executions of sleep-based tests.  We describe our e
 xperience in migrating over 200 tests.  The inference techniques have high
  precision and recall\, of over 75%\, and our approach reduces testing tim
 e compared to sleep-based tests\, on average 3.4x.  This is joint work wit
 h Milos Gligoric\, Vilas Jagannath\, Dongyun Jin\, Qingzhou Luo\, and Grig
 ore Rosu.  Prof. Marinov's homepage
LOCATION:BC 01 https://plan.epfl.ch/?room==BC%2001
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR