ISP: An Improved Slicing Pair Code for Skewed Slicing Floorplan.

Biswojit Nayak B. N. Bhramar Ray

Published in: VLSID (2023)

Keyphrases

program slicing
source code
formal verification
description languages
video sequences
fault localization
database
real world
information systems
pairwise