Travelled to:1 × United Kingdom
Collaborated with:R.Zeng S.Liu X.He
Talks about:architectur (1) softwar (1) predict (1) coverag (1) analysi (1) violat (1) precis (1) method (1) improv (1) samat (1)
Person: Zhuo Sun
DBLP: Sun:Zhuo
Contributed to:
2015
2012Wrote 2 papers:
- TACAS-2015-ZengSLH #precise #predict
- A Method for Improving the Precision and Coverage of Atomicity Violation Predictions (RZ, ZS, SL, XH), pp. 116–130.
- SEKE-2012-LiuZSH #analysis #architecture #modelling #named
- SAMAT — A Tool for Software Architecture Modeling and Analysis (SL, RZ, ZS, XH), pp. 352–358.