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žené v:

Podrobná bibliografia
Vydané v:	IEEE access Ročník 7; s. 62352 - 62360
Hlavní autori:	Ren, Shengbing, Jia, Mengyu
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Piscataway IEEE 01.01.2019 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!