Stem whodunit$ (all stems)

2 papers:

VLDB-2011-KaushikR #detection #named

Whodunit: An Auditing Tool for Detecting Data Breaches (RK, RR), pp. 1410–1413.

EDOC-2011-Halle #contract #logic #message passing

Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.