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)

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)

CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software. - Yi Qin 002; Tao Xie 001; Chang Xu 001; Angello Astorga; Jian Lu 001 (CoRR, 2018)

Grading-Based Test Suite Augmentation. - Jonathan Osei-Owusu; Angello Astorga; Liia Butler; Tao Xie 001; Geoffrey Challen (ASE, 2019)

Learning stateful preconditions modulo a test generator. - Angello Astorga; P. Madhusudan; Shambwaditya Saha; Shiyu Wang; Tao Xie 001 (PLDI, 2019)

Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects. - Wing Lam; Stefan Winter 001; Angello Astorga; Victoria Stodden; Darko Marinov (ISSRE, 2020)

CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. - Yi Qin 002; Tao Xie 001; Chang Xu 001; Angello Astorga; Jian Lu 001 (IEEE Trans. Reliab., 2020)

PaCon: a symbolic analysis approach for tactic-oriented clustering of programming submissions. - Yingjie Fu; Jonathan Osei-Owusu; Angello Astorga; Zirui Neil Zhao; Wei Zhang 004; Tao Xie 001 (SPLASH-E, 2021)

Synthesizing contracts correct modulo a test generator. - Angello Astorga; Shambwaditya Saha; Ahmad Dinkins; Felicia Wang; P. Madhusudan; Tao Xie 001 (Proc. ACM Program. Lang., 2021)

Perception Contracts for Safety of ML-Enabled Systems. - Angello Astorga; Chiao Hsieh; P. Madhusudan; Sayan Mitra (Proc. ACM Program. Lang., 2023)