A vocabulary of program slicing-based techniques

DOI10.1145/2187671.2187674zbMath1293.68081OpenAlexW2079083905MaRDI QIDQ2875081

Josep Silva

Publication date: 13 August 2014

Published in: ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10251/71738

zbMATH Keywords

program slicingsoftware engineering

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)

Related Items (9)

Tracking CSP computations ⋮ Algorithmic debugging generalized ⋮ On detecting environment sensitivity using slicing ⋮ Slicing concurrent constraint programs ⋮ Maximal and Minimal Dynamic Petri Net Slicing ⋮ Correctly Slicing Extended Finite State Machines ⋮ Cut branches before looking for bugs: certifiably sound verification on relaxed slices ⋮ A Generalized Model for Algorithmic Debugging ⋮ Program slicing of Java programs

This page was built for publication: A vocabulary of program slicing-based techniques