Murad Akhundov

According to our database, Murad Akhundov authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Annotative Software Product Line Analysis Using Variability-Aware Datalog.

Ramy Shahin, Murad Akhundov, Marsha Chechik

IEEE Trans. Software Eng., March, 2023

2021

Verification by Gambling on Program Slices.

Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik

Proceedings of the Automated Technology for Verification and Analysis, 2021