Sciweavers

ENTCS
2007
103views more  ENTCS 2007»
13 years 11 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal
CSMR
2007
IEEE
14 years 5 months ago
Verifying the Concept of Union Slices on Java Programs
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
Attila Szegedi, Tamás Gergely, Árp&a...