I agree that this site is using cookies. You can find further informations here.
X
Astorga, Angello
9  results:
Search for persons X
?
1

Perception Contracts for Safety of ML-Enabled Systems:

Astorga, Angello ; Hsieh, Chiao ; Madhusudan, P..
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 2196-2223 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Synthesizing contracts correct modulo a test generator:

Astorga, Angello ; Saha, Shambwaditya ; Dinkins, Ahmad...
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-27 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

PaCon: a symbolic analysis approach for tactic-oriented clu..:

, In: Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E,
Fu, Yingjie ; Osei-Owusu, Jonathan ; Astorga, Angello... - p. 32-42 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

Synthesizing contracts correct modulo a test generator:

Astorga, Angello ; Saha, Shambwaditya ; Dinkins, Ahmad...
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-27 , 2021
Link: https://doi.org/10.1145/..
 
?
5

Understanding Reproducibility and Characteristics of Flaky ..:

, In: 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE),
Lam, Wing ; Winter, Stefan ; Astorga, Angello.. - p. 403-413 , 2020
Link: https://doi.org/10.1109/..
 
?
6

Grading-based test suite augmentation:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,
Osei-Owusu, Jonathan ; Astorga, Angello ; Butler, Liia.. - p. 226-229 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

Learning stateful preconditions modulo a test generator:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Astorga, Angello ; Madhusudan, P. ; Saha, Shambwaditya.. - p. 775-787 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

Grading-Based Test Suite Augmentation:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Osei-Owusu, Jonathan ; Astorga, Angello ; Butler, Liia.. - p. 226-229 , 2019
Link: https://doi.org/10.1109/..
 
?
9

CoMID: Context-based Multi-Invariant Detection for Monitori..:

Qin, Yi ; Xie, Tao ; Xu, Chang..
http://arxiv.org/abs/1807.02282.  , 2018
Link: http://arxiv.org/abs/180..
 
1-9