| Multiple-implementation testing of supervised learning software S Srisakaokul, Z Wu, A Astorga, O Alebiosu, T Xie Workshops at the thirty-second AAAI conference on artificial intelligence, 2018 | 60 | 2018 |
| Muldef: Multi-model-based defense against adversarial examples for neural networks S Srisakaokul, Y Zhang, Z Zhong, W Yang, T Xie, B Li arXiv preprint arXiv:1809.00065, 2018 | 18 | 2018 |
| A type system for format strings K Weitz, G Kim, S Srisakaokul, MD Ernst Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 15 | 2014 |
| PreInfer: Automatic inference of preconditions via symbolic analysis A Astorga, S Srisakaokul, X Xiao, T Xie 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018 | 14 | 2018 |
| A Characteristic Study of Parameterized Unit Tests in. NET Open Source Projects W Lam, S Srisakaokul, B Bassett, P Mahdian, T Xie, P Lakshman, ... 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 4 | 2018 |
| Parameterized unit testing in the open source wild W Lam, S Srisakaokul, B Bassett, P Mahdian, T Xie, N Tillmann, ... | 4 | 2015 |
| A format string checker for Java K Weitz, S Srisakaokul, G Kim, MD Ernst Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 3 | 2014 |
| Visualizing path exploration to assist problem diagnosis for structural test generation J Cao, A Astorga, S Srisakaokul, Z Wu, X Liu, X Xiao, T Xie 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2018 | 2 | 2018 |
| Multiple-implementation testing of supervised learning software O Alebiosu | 1 | 2017 |
