Treffer 1 - 20 von 2.466

1

Static Slicing for Python First-Class Objects
Xu, Zhaogui ; Qian, Ju ; Chen, Lin ; et al.
2013 13th International Conference on Quality Software Quality Software (QSIC), 2013 13th International Conference on. :117-124 Jul, 2013

Konferenz
Merkliste
2

Analyzing the conditions of coupling existence based on program slicing and some abstract information-flow
Bixin Li ; Ying Zhou ; Junhui Mo ; et al.
Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Network Software engineering, artificial intelligence, networking and parallel/distributed computing Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 2005 and First ACIS International Workshop on Self-Assembling Wireless Networks. SNPD/SAWN 2005. Sixth International Conference on. :96-101 2005

Konferenz
Merkliste
3

MultiGLICE: Combining Graph Neural Networks and Program Slicing for Multiclass Software Vulnerability Detection †.
de Kraker, Wesley ; Vranken, Harald ; Hommersom, Arjen
Computers (2073-431X); Mar2025, Vol. 14 Issue 3, p98, 23p

GRAPH neural networks COMPUTER security vulner... MACHINE learning PROGRAMMING languages
Fachzeitschrift
Merkliste
4

A slicing method for object-oriented programs using lightweight dynamic information
Ohata, F. ; Hirose, K. ; Fujii, M. ; et al.
Proceedings Eighth Asia-Pacific Software Engineering Conference Asia-Pacific software engineering Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific. :273-280 2001

Konferenz
Merkliste
5

A Vocabulary of Program Slicing-Based Techniques.
Silva, Josep
ACM Computing Surveys. Jun2012, Vol. 44 Issue 3, p12-12:41. 41p. 28 Diagrams, 5 Charts.

Fachzeitschrift
Merkliste
6

Interprocedural Slicing of Generic Programs
Barpanda, Soubhagya Sankar ; Biswal, Baikuntha Narayan ; Behera, Sasmita Rani ; et al.
2009 International Conference on Signal Processing Systems. :570-573 May, 2009

Konferenz
Merkliste
7

Sequence Diagram Slicing
Noda, Kunihiro ; Kobayashi, Takashi ; Agusa, Kiyoshi ; et al.
2009 16th Asia-Pacific Software Engineering Conference Software Engineering Conference, 2009. APSEC '09. Asia-Pacific. :291-298 Dec, 2009

Konferenz
Merkliste
8

An approach to find dynamic slice for C++ Program
Pani, Santosh Kumar ; Arundhati, Priya
Journal of Computer Science and Engineering, Volume 1, Issue 1, p72-76, May 2010

Computer Science - Progr...
Report
Merkliste
9

Formal Verification for C Program.
Junyan Qian ; Baowen Xu
Informatica; 2007, Vol. 18 Issue 2, p289-304, 16p, 2 Diagrams

C (Computer program lang... COMPUTER software PROGRAMMING languages OBJECT-oriented programm...
Fachzeitschrift
Merkliste
11

A New Foundation for Control Dependence and Slicing for Modern Program Structures.
Ranganath, Venkatesh Prasad ; Amtoft, Torben ; Banerjee, Anindya ; et al.
ACM Transactions on Programming Languages & Systems. Sep2007, Vol. 29 Issue 5, Special section 4 p1-43. 43p. 2 Charts.

Fachzeitschrift
Merkliste
12

Dependence Clusters in Source Code.
HARMAN, MARK ; BINKLEY, DAVID ; GALLAGHER, KEITH ; et al.
ACM Transactions on Programming Languages & Systems. Oct2009, Vol. 32 Issue 1, p1-1:33. 33p. 1 Diagram, 3 Charts, 17 Graphs.

Fachzeitschrift
Merkliste
13

Visualizing Data-Flows in Functional Programs
Weck, Tobias ; Tichy, Matthias
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) Software Analysis, Evolution, and Reengineering (SANER), 2016 IEEE 23rd International Conference on. 1:293-303 Mar, 2016

Konferenz
Merkliste
14

Program Slicing with Dynamic Points-To Sets.
Mock, Markus ; Atkinson, Darien C. ; Chambers, Craig ; et al.
IEEE Transactions on Software Engineering; Aug2005, Vol. 31 Issue 8, p657-678, 22p, 1 Illustration, 1 Diagram, 9 Charts, 9 Graphs

C (Computer program lang... PROGRAMMING languages COMPUTER-aided design COMPUTER simulation COMPUTER software
Fachzeitschrift
Merkliste
15

SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk.
Cui, Siwei ; Gao, Yifei ; Unterguggenberger, Rainer ; et al.
ICSE: International Conference on Software Engineering; 2023, p1136-1147, 12p

DYLAN (Computer program... SMALLTALK (Computer prog... COMPUTER software OBJECT-oriented programm... SOURCE code
Konferenz
Merkliste
16

On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities.
Li, Zhen ; Wang, Ning ; Zou, Deqing ; et al.
ICSE: International Conference on Software Engineering; 2024, p1-12, 12p

COMPUTER security vulner... COMPUTER crimes DEEP learning OPEN source software C++ OBJECT-oriented programm...
Konferenz
Merkliste
17

Packet processing and data plane program verification: A survey with tools, techniques, and challenges.
Akarte, Harishchandra A. ; Yadav, Dharmendra K.
International Journal of Communication Systems; 9/25/2023, Vol. 36 Issue 14, p1-27, 27p

DATA packeting SOFTWARE-defined network... DOMAIN-specific programm... ELECTRONIC data processi...
Fachzeitschrift
Merkliste
18

Dynamic slicing of distributed object-oriented programs.
Barpanda, S.S. ; Mohapatra, D.P.
IET Software (Institution of Engineering & Technology); Oct2011, Vol. 5 Issue 5, p425-433, 9p

OBJECT-oriented programm... COMPUTER programming ALGORITHMS COMPUTER software GRAPH coloring GRAPH theory
Fachzeitschrift
Merkliste
19

Slicing concurrent Java programs using Indus and Kaveri.
Ranganath, Venkatesh ; Hatcliff, John
International Journal on Software Tools for Technology Transfer; Oct2007, Vol. 9 Issue 5/6, p489-504, 16p, 5 Black and White Photographs, 4 Diagrams, 2 Charts

COMPUTER programming COMPUTER systems SOFTWARE engineering JAVA programming languag... C++
Fachzeitschrift
Merkliste
20

A Sparse Program Dependence Graph For Object Oriented Programming Languages
Garfield, Keith
Electronic Theses and Dissertations

Dependence Graphs Program Representation Object Oriented Java Program Dependences Computer Sciences
Fachzeitschrift
Merkliste

Filter