Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation

Program slicing, as a technique of program decomposition, is widely used in the field of program testing, model checking, software verification, symbolic execution, and other fields. However, the traditional approaches of program slicing tend to produce too large slices and the static program analys...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE access Vol. 7; pp. 62352 - 62360
Main Authors:	Ren, Shengbing, Jia, Mengyu
Format:	Journal Article
Language:	English
Published:	Piscataway IEEE 01.01.2019 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Algorithms Constraint logic programming Java large-scale software Logic programming Model checking Open source software program slicing program transformation Program verification (computers) scenario Semantics Slicing Software Software algorithms Transformations
ISSN:	2169-3536, 2169-3536
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!