Cited By
View all- Gui LSun JLiu YDong JYoung MXie T(2015)Reliability assessment for distributed systems via communication abstraction and refinementProceedings of the 2015 International Symposium on Software Testing and Analysis10.1145/2771783.2771794(293-304)Online publication date: 13-Jul-2015
- Gui LSun JLiu YNguyen TDong JCheung SOrso AStorey M(2014)RaPiD: a toolkit for reliability analysis of non-deterministic systemsProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2661668(727-730)Online publication date: 11-Nov-2014
- Ding ZXu TChen MZhang H(2014)Online reliability prediction of service compositionProceedings of the 2014 3rd International Workshop on Evidential Assessment of Software Technologies10.1145/2627508.2627509(1-8)Online publication date: 26-May-2014
- Show More Cited By