Murad Akhundov

Publication Activity (10 Years)

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

Top Topics

Deductive Databases

Formal Verification

Static Analysis

Test Generation

Top Venues

IEEE Trans. Software Eng.

Publications

Ramy Shahin, Murad Akhundov, Marsha Chechik
Annotative Software Product Line Analysis Using Variability-Aware Datalog. IEEE Trans. Software Eng. 49 (3) (2023)
Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik
Verification by Gambling on Program Slices. ATVA (2021)