Sökning: "Husni Khanfar"

Hittade 1 avhandling innehållade orden Husni Khanfar.

  1. 1. Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs

    Författare :Husni Khanfar; Björn Lisper; Hans Hansson; Saad Mubeen; Daniel Hedin; Welf Löwe; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Static Program Analysis; Static Program Slicing; Control Dependency;

    Sammanfattning : Static backward program slicing is a technique to compute the set of program statements, predicates and inputs that might affect the value of a particular variable at a program location. The importance of this technique comes from being an essential part of many critical areas such as program maintenance, testing, verification, debugging, among others. LÄS MER