Value slice: a new slicing concept for scalable property checking

DOI10.1007/978-3-662-46681-0_7MaRDI QIDQ5194951zbMATH OpenOpenAlexFDO

Authors Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker

Publication date 17 September 2019

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46681-0_7

zbMATH Keywords

control dependenceexecution stateoriginal programprogram pointthin slice

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Assertion-based slicing and slice graphs
• Program Slicing
• Cut branches before looking for bugs: certifiably sound verification on relaxed slices
• Lazy slicing for state-space exploration
• Cut branches before looking for bugs: sound verification on relaxed slices

This page was built for publication: Value slice: a new slicing concept for scalable property checking

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