This paper presents two approaches to multi-procedure program dynamic decomposition. These methods can be viewed as tools towards program debugging and dynamic reverse engineering which can help
programmers to faul localization by reducing the research space suscepir'iblet o cover the fault