Travelled to:1 × Switzerland
Collaborated with:L.Gui J.Sun Y.Liu J.S.Dong X.Wang
Talks about:distribut (1) reliabl (1) predict (1) combin (1) applic (1) model (1) check (1) test (1)
Person: Yuan Jie Si
DBLP: Si:Yuan_Jie
Contributed to:
2013Wrote 1 papers:
- ISSTA-2013-GuiSLSDW #model checking #predict #reliability #testing
- Combining model checking and testing with an application to reliability prediction and distribution (LG, JS, YL, YJS, JSD, XW), pp. 101–111.