Last modified: July 26, 2004

Dynamic Slicing

The aim of this project is to develop methods and provide experimental implementations for dynamic slicing of procedural programs  (currently C is targeted). For related publications see Árpád Beszédes's publications page, especially [BFS02] [BGS01] [GBF99].

This site is under construction, but in the meantime you can find here the folowing information:


Back to the projects page