Verification by Gambling on Program Slices. - Murad Akhundov; Federico Mora 002; Nick Feng; Vincent Hui; Marsha Chechik (ATVA, 2021)

Annotative Software Product Line Analysis Using Variability-Aware Datalog. - Ramy Shahin; Murad Akhundov; Marsha Chechik (IEEE Trans. Software Eng., 2023)