Angello Astorga

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