Treffer 1 - 20
von 2.466
- 1
- 2
Seite in der Trefferliste auswählen
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
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
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
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
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.
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
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
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
Formal Verification for C Program.
Junyan Qian ; Baowen Xu
Informatica; 2007, Vol. 18 Issue 2, p289-304, 16p, 2 Diagrams
Forward slicing of functional logic programs by partial evaluationA preliminary short version of this paper appeared in the Proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2002).This work has been partially supported by the EU (FEDER) and the Spanish MEC under grants TIN2004-00231 and TIN2005-09207-C03-02, and by the ICT for EU-India Cross-Cultural Dissemination Project ALA/95/23/2003/077-054.
JOSEP SILVA ; GERMÁN VIDAL
Theory & Practice of Logic Programming; Jan2007, Vol. 7 Issue 1/2, p215-247, 33p
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.
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.
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
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
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
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
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
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
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
A Sparse Program Dependence Graph For Object Oriented Programming Languages
Garfield, Keith
Electronic Theses and Dissertations
- 1
- 2