George Karakitsos

• A general approach to the analysis and manipulation of software