Collaborated with:
W.Zhang Z.Huang S.Misailovic
Talks about:
program (2) probabilist (1) system (1) reduct (1) storm (1) debug (1) test (1)
Person: Saikat Dutta
DBLP: Dutta:Saikat
Contributed to:
Wrote 1 papers:
- ESEC-FSE-2019-DuttaZHM #debugging #named #probability #programming #reduction #testing
- Storm: program reduction for testing and debugging probabilistic programming systems (SD, WZ, ZH, SM), pp. 729–739.