A Set-Based Context Model for Program Analysis. - Leandro Facchinetti; Zachary Palmer; Scott F. Smith 001; Ke Wu; Ayaka Yorihiro (APLAS, 2020)

eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. - Ayaka Yorihiro; Pengyue Jiang; Valeria Marqués; Benjamin Carleton; Owolabi Legunsen (RV, 2023)