A vocabulary of program slicing-based techniques

DOI10.1145/2187671.2187674MaRDI QIDQ2875081zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Program Slicing
• An overview of slicing techniques for object-oriented programs
• Understanding program slices
• scientific article; zbMATH DE number 2087514
• Static and dynamic slicing of constraint logic programs

Cited in

(13)

• Tracking CSP computations
• Algorithmic debugging generalized
• Program slicing of Java programs
• Slicing techniques for verification re-use
• Correctly slicing extended finite state machines
• On detecting environment sensitivity using slicing
• An overview of slicing techniques for object-oriented programs
• scientific article; zbMATH DE number 1061007 (Why is no real title available?)
• scientific article; zbMATH DE number 2087514 (Why is no real title available?)
• A Program Slicing Based Method to Filter XML/DTD Documents
• A generalized model for algorithmic debugging
• Maximal and Minimal Dynamic Petri Net Slicing
• Cut branches before looking for bugs: certifiably sound verification on relaxed slices

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875081)