Search Results - (java OR jana) bytecode engineering
-
1
Authors: et al.
Source: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34
Subject Terms: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science
File Description: electronic
-
2
Authors: et al.
Source: Applied Sciences, Vol 13, Iss 17, p 9580 (2023)
Subject Terms: code clone, code clone detection, bytecode, siamese neural network, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999
File Description: electronic resource
-
3
Authors: Tomaž DOBRAVEC
Source: Acta Electrotechnica et Informatica, Vol 18, Iss 4, Pp 17-25 (2019)
Subject Terms: Algorithm evaluation, Java bytecode counting, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
-
4
Authors: et al.
Source: IEEE Access, Vol 7, Pp 22421-22433 (2019)
Subject Terms: Code clones, code clone detection, Java bytecode, code sequence alignment, code similarities, instruction block, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
-
5
Authors: et al.
Source: IEEE Access, Vol 7, Pp 66292-66303 (2019)
Subject Terms: Software refactoring, synchronization, consistency, locks, program analysis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
-
6
Authors: et al.
Source: IEEE Access, Vol 13, Pp 98133-98143 (2025)
Subject Terms: Webshell detection, adversarial training, BERT, web security, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
-
7
Authors:
Source: IEEE Access, Vol 13, Pp 211177-211186 (2025)
Subject Terms: Custom software, open source software, software debloating, software optimization, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
-
8
Authors:
Source: Electronic Notes in Theoretical Computer Science. 141:53-73
-
9
Authors: Linenweber, Martin R.
Subject Terms: Computer Sciences, Computer Engineering
File Description: application/pdf
-
10
Authors: et al.
Source: Proceedings - 19th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2019. :92-102
Subject Terms: Decompilation, Java bytecode, Reverse engineering, Source code analysis, Equivalence classes, Java programming language, Open systems, Semantics, Syntactics, Java byte codes, Java source codes, Open source software projects, Quality indicators, Real world projects, Semantic equivalences, Open source software
File Description: print
-
11
Authors: Peng ZHENG, Letian SHA
Source: Jisuanji gongcheng, Vol 49, Iss 12, Pp 136-145 (2023)
Subject Terms: taint analysis, java deserialization vulnerability, static analysis, dynamic verification, symbolic execution, constraint construction, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765
File Description: electronic resource
-
12
Authors:
Source: ACM Transactions on Software Engineering and Methodology. 19:1-40
-
13
Authors: et al.
Source: Journal of Systems and Software. 168
Subject Terms: Java bytecode, Decompilation, Reverse engineering, Source code analysis
File Description: print
-
14
Authors:
Source: Electronic Notes in Theoretical Computer Science. 153:57-77
-
15
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Languages / Java, COMPUTERS / System Administration / Virtualization & Containerization, COMPUTERS / Software Development & Engineering / General
-
16
Authors: et al.
Source: Formal Methods in System Design. 24:129-155
Subject Terms: formal specification, Java bytecode engineering, Specification and verification (program logics, model checking, etc.), execution trace validation, program instrumentation, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, xecution trace validation, 02 engineering and technology, software reliability, run-time monitoring and checking, Java
File Description: application/xml; application/pdf
-
17
Authors:
Source: Fundamental Approaches to Software Engineering Lecture Notes in Computer Science. :215-229
Subject Terms: Incomplete Programs, Java Bytecode, Program Models, Formal Verification, Datalogi, Computer Science
File Description: print
-
18
Authors: Toby Weston
Resource Type: eBook.
Subjects: Functions--Computer programs, Functional programming (Computer science), Java (Computer program language)
Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General
-
19
Authors:
Contributors:
Subject Terms: Java, Resource Management, Bytecode Engineering, Program Transformations
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.1338; http://infoscience.epfl.ch/record/109459/files/HOSC08.pdf
-
20
Authors:
Contributors:
Subject Terms: Java, CPU Consumption Metric, Resource Management, Bytecode Engineering, Program Transformations
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.666; http://www.jraf2.org/publications/QAPL05.pdf
Full Text Finder
Nájsť tento článok vo Web of Science