2011. Ma'lumotlar korruptsiyasiga qarshi faol kurash: muammolar va imkoniyatlar. SMDB
da.
[21] Devid Fiala, Frank Myuller, Kristian Engelmann, Rolf Rizen, Kurt Ferreyra va Ron Braytvell.
2012. Katta miqyosdagi yuqori unumli hisoblash uchun jim ma'lumotlarning buzilishini
aniqlash va tuzatish. SCda.
[37] Kexin Pei, Yinzhi Cao, Junfeng Yang va Suman Jana. 2017. DeepXplore: Chuqur o'rganish
tizimlarining avtomatlashtirilgan oq qutisi sinovi. SOSP da.
Fex: dasturiy ta'minot tizimlarini baholovchi. DSN da.
FIAT yordamida nosozliklarni in'ektsiya qilish tajribalari. TC 39, 4 (aprel 1990).
[30] Asim Kadav, Metyu J. Renzelmann va Maykl M. Svift. 2009. Toqat qilish
[20] Ivano Alessandro Elia, Nuno Laranjeiro va Marko Vieyra. 2015. Test asosida
Xatolar ostida Linux yadrosi xatti-harakatining tavsifi. DSN da.
[1] 2013. HDFS-4882. https://issues.apache.org/jira/browse/HDFS-4882.
Haqiqiy dunyo ishlashidagi xatolarni tushunish va aniqlash. PLDI da.
[34] Adrian Nistor, Linxay Song, Darko Marinov va Shan Lu. 2013. Kichkintoy: o'xshash
xotiraga kirish naqshlari orqali ishlash muammolarini aniqlash. ICSEda.
Arpaci-Dusseau, Remzi H. Arpaci-Dusseau va Maykl M. Svift. 2008. Disk-ko'rsatgichning
buzilishi oqibatlarini tahlil qilish. DSN da.
[19] Daniel J. Din, Peypei Vang, Xiaohui Gu, Villam Enk va Guoliang Jin. 2015 yil.
[8] 2018. Soot: Java va Androidni tahlil qilish va o'zgartirish uchun asos
Ilovalar. https://sable.github.io/soot/.
[17] Ting Dai, Daniel Din, Peypei Vang, Xiaohui Gu va Shan Lu. 2018. Hytrace: ishlab chiqarish
bulutli infratuzilmalarida ishlash xatolarini tashxislash uchun gibrid yondashuv. Parallel
va taqsimlangan tizimlar bo'yicha IEEE tranzaksiyalari (2018).
[6] 2018. Facebook xulosasi. http://fbinfer.com/.
Do'stlaringiz bilan baham: |
