Static backward demand-driven slicing B Lisper, AN Masud, H Khanfar Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015 | 17 | 2015 |
Static backward program slicing for safety-critical systems H Khanfar, B Lisper, AN Masud Reliable Software Technologies–Ada-Europe 2015: 20th Ada-Europe …, 2015 | 14 | 2015 |
Demand-driven static backward slicing for unstructured programs H Khanfar, B Lisper, S Mubeen | 6 | 2019 |
Enhanced PCB-based slicing H Khanfar, B Lisper Fifth International Valentin Turchin Workshop on Metacomputation, 71, 2016 | 5 | 2016 |
Objects-based slicing H Khanfar Technical Report MDHMRTC-284/2014-1-SE, School of Innovation, Design and …, 2014 | 2 | 2014 |
Computing on-the-fly the Relevant Program Flows to a Control Dependency H Khanfar Mälardalen Real-Time Research Centre, Mälardalen University, 2021 | 1 | 2021 |
Fast and precise slicing of low-level code B Lisper, H Khanfar Mälardalen University-Technical Report, 2013 | 1 | 2013 |
Data Structure Foundation for Computing Overlapping Flows H Khanfar Mälardalen Real-Time Research Centre, Mälardalen University, 2024 | | 2024 |
Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs H Khanfar Mälardalen University, 2019 | | 2019 |