Angello Astorga

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Mutation Testing

Top Venues

Proc. ACM Program. Lang.

IEEE Trans. Reliab.

Publications

Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra
Perception Contracts for Safety of ML-Enabled Systems. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yingjie Fu, Jonathan Osei-Owusu, Angello Astorga, Zirui Neil Zhao, Wei Zhang, Tao Xie
PaCon: a symbolic analysis approach for tactic-oriented clustering of programming submissions. SPLASH-E (2021)
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie
Synthesizing contracts correct modulo a test generator. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Wing Lam, Stefan Winter, Angello Astorga, Victoria Stodden, Darko Marinov
Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects. ISSRE (2020)
Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. IEEE Trans. Reliab. 69 (1) (2020)
Jonathan Osei-Owusu, Angello Astorga, Liia Butler, Tao Xie, Geoffrey Challen
Grading-Based Test Suite Augmentation. ASE (2019)
Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie
Learning stateful preconditions modulo a test generator. PLDI (2019)
Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, Tao Xie
PreInfer: Automatic Inference of Preconditions via Symbolic Analysis. DSN (2018)
Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software. CoRR (2018)
Jiayi Cao, Angello Astorga, Siwakorn Srisakaokul, Zhengkai Wu, Xueqing Liu, Xusheng Xiao, Tao Xie
Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation. VL/HCC (2018)
Siwakorn Srisakaokul, Zhengkai Wu, Angello Astorga, Oreoluwa Alebiosu, Tao Xie
Multiple-Implementation Testing of Supervised Learning Software. AAAI Workshops (2018)