Collaborated with:
S.Dutta Z.Huang S.Misailovic
Talks about:
program (2) probabilist (1) system (1) reduct (1) storm (1) debug (1) test (1)
Person: Wenxian Zhang
DBLP: Zhang:Wenxian
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.