Concepedia

Angello Astorga

AA

7

Publications

173

Citations

7

H-Index

2016

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Angello Astorga is an author at University of Illinois Urbana-Champaign specializing in software testing, software analysis, and program analysis.

Top concepts

EngineeringVerificationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringFormal MethodsSoftware Design

Publications per year

2016–2023

7

Publications

7

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

Wing Lam, Stefan Winter, Angello Astorga et al. · 2020 · 57 citations

Multiple-Implementation Testing of Supervised Learning Software

Siwakorn Srisakaokul, Zhengkai Wu, Angello Astorga et al. · National Conference on Artificial Intelligence · 2016 · 40 citations

Software Maintenance, Engineering, Computational Testing +11

Learning stateful preconditions modulo a test generator

Angello Astorga, P. Madhusudan, Shambwaditya Saha et al. · 2019 · 22 citations

Program Checking, Engineering, Verification +17

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

Yi Qin, Tao Xie, Chang Xu et al. · IEEE Transactions on Reliability · 2019 · 16 citations

Engineering, Derived Invariants, Verification +18

Perception Contracts for Safety of ML-Enabled Systems

Angello Astorga, Chiao Hsieh, P. Madhusudan et al. · Proceedings of the ACM on Programming Languages · 2023 · 15 citations · Full text

Rows per page

1–5 of 7