Follow
Angello Astorga
Angello Astorga
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
Multiple-implementation testing of supervised learning software
S Srisakaokul, Z Wu, A Astorga, O Alebiosu, T Xie
Workshops at the thirty-second AAAI conference on artificial intelligence, 2018
612018
Understanding reproducibility and characteristics of flaky tests through test reruns in Java projects
W Lam, S Winter, A Astorga, V Stodden, D Marinov
2020 IEEE 31st International Symposium on Software Reliability Engineering …, 2020
562020
Learning stateful preconditions modulo a test generator
A Astorga, P Madhusudan, S Saha, S Wang, T Xie
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
252019
PreInfer: Automatic inference of preconditions via symbolic analysis
A Astorga, S Srisakaokul, X Xiao, T Xie
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018
142018
CoMID: Context-based multiinvariant detection for monitoring cyber-physical software
Y Qin, T Xie, C Xu, A Astorga, J Lu
IEEE Transactions on Reliability 69 (1), 106-123, 2019
122019
Grading-based test suite augmentation
J Osei-Owusu, A Astorga, L Butler, T Xie, G Challen
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
62019
Synthesizing contracts correct modulo a test generator
A Astorga, S Saha, A Dinkins, F Wang, P Madhusudan, T Xie
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021
52021
Perception Contracts for Safety of ML-Enabled Systems
A Astorga, C Hsieh, P Madhusudan, S Mitra
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2196-2223, 2023
42023
PaCon: a symbolic analysis approach for tactic-oriented clustering of programming submissions
Y Fu, J Osei-Owusu, A Astorga, ZN Zhao, W Zhang, T Xie
Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 32-42, 2021
32021
Visualizing path exploration to assist problem diagnosis for structural test generation
J Cao, A Astorga, S Srisakaokul, Z Wu, X Liu, X Xiao, T Xie
2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2018
22018
Preliminary Analysis of Contestant Performance for a Code Hunt Contest
A Clark, J Wells, A Astorga, A Xie, J Coleman-Lands, T Xie
The system can't perform the operation now. Try again later.
Articles 1–11