Angello Astorga

According to our database, Angello Astorga authored at least 11 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Perception Contracts for Safety of ML-Enabled Systems.

Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra

Proc. ACM Program. Lang., October, 2023

2021

Synthesizing contracts correct modulo a test generator.

Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie

Proc. ACM Program. Lang., 2021

PaCon: a symbolic analysis approach for tactic-oriented clustering of programming submissions.

Yingjie Fu, Jonathan Osei-Owusu, Angello Astorga, Zirui Neil Zhao, Wei Zhang, Tao Xie

Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 2021

2020

CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software.

Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu

IEEE Trans. Reliab., 2020

Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects.

Wing Lam, Stefan Winter, Angello Astorga, Victoria Stodden, Darko Marinov

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

2019

Learning stateful preconditions modulo a test generator.

Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Grading-Based Test Suite Augmentation.

Jonathan Osei-Owusu, Angello Astorga, Liia Butler, Tao Xie, Geoffrey Challen

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software.

Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu

CoRR, 2018

Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation.

Jiayi Cao, Angello Astorga, Siwakorn Srisakaokul, Zhengkai Wu, Xueqing Liu, Xusheng Xiao, Tao Xie

Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

PreInfer: Automatic Inference of Preconditions via Symbolic Analysis.

Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, Tao Xie

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Multiple-Implementation Testing of Supervised Learning Software.

Siwakorn Srisakaokul, Zhengkai Wu, Angello Astorga, Oreoluwa Alebiosu, Tao Xie

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018