Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Model-Guided Property-Based Testing of WeChat Pay at Billion-User Scale |
| Συγγραφείς: |
Shen, Xiangchen, Wang, Yiting, Su, Ting, Liang, Jingjing, Sun, Jingling, Liang, Xixian, Sun, Haiying, Xu, Xinjie, Lu, Haochuan, Deng, Yuetang, Wang, Pengcheng, Pu, Geguang, Su, Zhendong, Hughes, John |
| Πηγή: |
Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering. :4504-4516 |
| Διαθεσιμότητα: |
http://dl.acm.org/doi/10.1145/3832783.3834537 |
| Βάση Δεδομένων: |
ACM Full-Text Collection |