Browsing by Author Astorga, Angello
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
| Mar-2020 | CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software | Qin, Yi; Xie, Tao; Xu, Chang; Astorga, Angello; Lu, Jian |
| Oct-2021 | Synthesizing Contracts Correct Modulo a Test Generator | Astorga, Angello; Saha, Shambwaditya; Dinkins, Ahmad; Wang, Felicia; Madhusudan, P.; Xie, Tao |
