• Suche: Instrumentation of Java program code for control flow analysis

Treffer 1 - 20 von 5.540

1

Instrumentation of Java Program Code for Control Flow Analysis
Universität Stuttgart ; Felix Lösch ; Studiengang Softwaretechnik ; et al.
http://elib.uni-stuttgart.de/opus/volltexte/2005/2256/pdf/DIP_2258.pdf.

Fachzeitschrift
Merkliste
2

Efficient and expressive bytecode-level instrumentation for Java programs.
Soueidi, Chukri ; Monnier, Marius ; Falcone, Yliès
International Journal on Software Tools for Technology Transfer; Aug2023, Vol. 25 Issue 4, p453-479, 27p

MODULAR design
Fachzeitschrift
Merkliste
4

Predicting Integer Overflow Errors via Supervised Learning.
Luo, Yu ; Xu, Weifeng ; Xu, Dianxiang
International Journal on Artificial Intelligence Tools; Dec2022, Vol. 31 Issue 8, p1-28, 28p

INTEGERS SYSTEM failures SOURCE code COMPUTER software SUPERVISED learning INTEGER programming
Fachzeitschrift
Merkliste
5

Polymorphic bytecode instrumentation
Binder, Walter ; Moret, Philippe ; Tanter, Éric Pierre ; et al.
Software-Practice & Experience

Java virtual machine execution levels aspect-oriented programm... profiling dynamic program analysis bytecode instrumentation
Fachzeitschrift
Merkliste
6

Smart Contract Vulnerability Detection Based on Deep Learning and Multimodal Decision Fusion.
Deng, Weichu ; Wei, Huanchun ; Huang, Teng ; et al.
Sensors (14248220); Aug2023, Vol. 23 Issue 16, p7246, 21p

DEEP learning BLOCKCHAINS ELECTRONIC paper SMART structures MACHINE learning SOURCE code
Fachzeitschrift
Merkliste
7

TraceBack: first fault diagnosis by reconstruction of distributed control flow
Andrew Ayers ; Richard Schooler ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utexas.edu/users/witchel/pubs/pldi05ayers.pdf.

Categories and Subject D... Debugging aids. General... Design. Keywords fault d... instrumentation
Fachzeitschrift
Merkliste
8

Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams
Labiche, Y. (Yvan) ; Kolbah, Bojana ; Labiche, Y. (Yvan) ; et al.

E-Ressource
Merkliste
9

An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing.
Gupta, Atul ; Jalote, Pankaj
International Journal on Software Tools for Technology Transfer; Feb2008, Vol. 10 Issue 2, p145-160, 16p, 1 Diagram, 3 Charts, 1 Graph

COMPUTER software develo... COMPUTER operating syste... AUTOMATION MACHINE theory TECHNICAL specifications
Fachzeitschrift
Merkliste
10

BejaGNN: behavior-based Java malware detection via graph neural network.
Feng, Pengbin ; Yang, Li ; Lu, Di ; et al.
Journal of Supercomputing; Sep2023, Vol. 79 Issue 14, p15390-15414, 25p

MACHINE learning FLOWGRAPHS GRAPH algorithms MALWARE
Fachzeitschrift
Merkliste
11

Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin.
Lukács, Dániel ; Tejfel, Máté
Acta Cybernetica; 2024, Vol. 26 Issue 3, p593-619, 27p

PROGRAMMING languages FLOWGRAPHS DATABASES ACCESS to information SYNTAX (Grammar)
Fachzeitschrift
Merkliste
12

Java自动化基本路径测试研究. (Chinese)
冯俊池 ; 赵颖 ; 连尧 ; et al.
Computer Measurement & Control; Apr2018, Vol. 26 Issue 4, p70-73, 4p

Fachzeitschrift
Merkliste
13

Abstract allocation as a unified approach to polyvariance in control-flow analyses.
GILRAY, THOMAS ; ADAMS, MICHAEL D. ; MIGHT, MATTHEW
Journal of Functional Programming; 2018, Vol. 28, pN.PAG-N.PAG, 46p

VARIANCES MACHINE theory DATA analysis SEMANTICS COMPUTER science
Fachzeitschrift
Merkliste
14

Negative Effects of Bytecode Instrumentation on Java Source Code Coverage.
Tengeri, David ; Horvath, Ferenc ; Beszedes, Arpad ; et al.
2016 IEEE 23rd International Conference on Software Analysis, Evolution & Reengineering (SANER); 2016, Vol. 1, p225-235, 11p

Konferenz
Merkliste
15

Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption.
Autili, Marco ; Malavolta, Ivano ; Perucci, Alexander ; et al.
Journal of Internet Services & Applications; 7/23/2021, Vol. 12 Issue 1, p1-60, 60p

MOBILE apps SOFTWARE engineering INDUSTRIAL capacity SOFTWARE engineers MOBILE operating systems
Fachzeitschrift
Merkliste
16

Robustness Testing of Java Server Applications.
Chen Fu ; Milanova, Ana ; Ryder, Barbara Gershon ; et al.
IEEE Transactions on Software Engineering. Apr2005, Vol. 31 Issue 4, p292-311. 20p. 6 Diagrams, 8 Charts, 1 Graph.

JAVA programming languag... PROGRAMMING languages COMPUTER software OBJECT-oriented programm... JAVASPACES technology
Fachzeitschrift
Merkliste
17

Binary mutation testing through dynamic translation.
Becker, Markus ; Kuznik, Christoph ; Joy, Mabel Mary ; et al.
IEEE/IFIP International Conference on Dependable Systems & Networks (DSN 2012); 1/ 1/2012, p1-12, 12p

Konferenz
Merkliste
18

Cone-Beam Micro-CT System Based on LabVIEW Software.
Ionita, Ciprian N. ; Hoffmann, Keneth R. ; Bednarek, Daniel R. ; et al.
Journal of Digital Imaging; Sep2008, Vol. 21 Issue 3, p296-305, 10p, 1 Black and White Photograph, 2 Diagrams

SYSTEM analysis TOMOGRAPHY RESEARCH COMPUTER systems LABORATORIES
Fachzeitschrift
Merkliste
19

A multi-party, fine-grained permission and policy enforcement framework for hybrid mobile applications.
Phung, Phu H. ; Reddy, Rakesh S.V. ; Cap, Steven ; et al.
Journal of Computer Security; 2020, Vol. 28 Issue 3, p375-404, 30p

CORDOBA (Spain) ANDROID (Operating syste... MOBILE apps MOBILE operating systems JAVASCRIPT programming l... ACCESS control
Fachzeitschrift
Merkliste
20

Concurrency Bug Detection via Static Analysis and Large Language Models.
Feng, Zuocheng ; Chen, Yiming ; Zhang, Kaiwen ; et al.
Future Internet; Dec2025, Vol. 17 Issue 12, p578, 27p

SYNCHRONIZATION LANGUAGE models DEFECT tracking (Compute... SOURCE code SOFTWARE validation DATA flow computing …
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter