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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE access Ročník 7; s. 62352 - 62360
Hlavní autoři:	Ren, Shengbing, Jia, Mengyu
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Piscataway IEEE 01.01.2019 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!