Ayaka Yorihiro

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Conceptual Framework

Functional Verification

Top Venues

Publications

Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen
eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. RV (2023)
Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro
A Set-Based Context Model for Program Analysis. APLAS (2020)