A type system for format strings. - Konstantin Weitz; Gene Kim 001; Siwakorn Srisakaokul; Michael D. Ernst (ISSTA, 2014)

A format string checker for Java. - Konstantin Weitz; Siwakorn Srisakaokul; Gene Kim 001; Michael D. Ernst (ISSTA, 2014)

Multiple-Implementation Testing of Supervised Learning Software. - Siwakorn Srisakaokul; Zhengkai Wu; Angello Astorga; Oreoluwa Alebiosu; Tao Xie 001 (AAAI Workshops, 2018)

PreInfer: Automatic Inference of Preconditions via Symbolic Analysis. - Angello Astorga; Siwakorn Srisakaokul; Xusheng Xiao; Tao Xie 001 (DSN, 2018)

A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects. - Wing Lam; Siwakorn Srisakaokul; Blake Bassett; Peyman Mahdian; Tao Xie 001; Pratap Lakshman; Jonathan de Halleux (ECOOP, 2018)

Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation. - Jiayi Cao; Angello Astorga; Siwakorn Srisakaokul; Zhengkai Wu; Xueqing Liu 001; Xusheng Xiao; Tao Xie 001 (VL/HCC, 2018)

MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks. - Siwakorn Srisakaokul; Zexuan Zhong; Yuhao Zhang 005; Wei Yang 013; Tao Xie 001 (CoRR, 2018)