Výsledky vyhledávání - Java bytecode engineering*

Coverage-Based Debloating for Java Bytecode

Autoři: César Soto-Valero Thomas Durieux Nicolas Harrand a další

Zdroj: ACM Transactions on Software Engineering and Methodology. 32:1-34

Témata: FOS: Computer and information sciences, software bloat, code coverage, 02 engineering and technology, program specialization, 01 natural sciences, Datorteknik, Software Engineering (cs.SE), software maintenance, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, bytecode, Computer Engineering, 0101 mathematics

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2008.08401
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-316426

An Experimental Comparison of Clone Detection Techniques using Java Bytecode

Autoři: Jean-Guy Schneider Sung Une Lee

Zdroj: 2022 29th Asia-Pacific Software Engineering Conference (APSEC). :139-148

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

CIL to Java-bytecode translation for static analysis leveraging

Autoři: Ferrara, Pietro Cortesi, Agostino Spoto, Fausto

Zdroj: Proceedings of the 6th Conference on Formal Methods in Software Engineering. :40-49

Témata: 0202 electrical engineering, electronic engineering, information engineering, CIl, Java Bytecode, Static Analysis, 02 engineering and technology, Software

Popis souboru: application/pdf

Přístupová URL adresa: https://iris.unive.it/bitstream/10278/3703089/1/FORMALISE_2018_paper_1.pdf
https://hdl.handle.net/11562/988470
https://doi.org/10.1145/3193992.3193994
https://dl.acm.org/citation.cfm?doid=3193992.3193994

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration

Autoři: Bockisch, Christoph Taentzer, Gabriele Neufeld, Daniel

Témata: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering

Přístupová URL adresa: http://arxiv.org/abs/2404.14097

Detecting Java Code Clones Based on Bytecode Sequence Alignment

Autoři: Dongjin Yu Jiazha Yang Xin Chen a další

Zdroj: IEEE Access, Vol 7, Pp 22421-22433 (2019)

Témata: code similarities, Java bytecode, code clone detection, 0202 electrical engineering, electronic engineering, information engineering, Code clones, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, code sequence alignment, instruction block, TK1-9971

Přístupová URL adresa: https://ieeexplore.ieee.org/ielx7/6287639/8600701/08637956.pdf
https://doaj.org/article/2d0e5922688f4ac3b9965333ffae2f9e

SJBCD: A Java Code Clone Detection Method Based on Bytecode Using Siamese Neural Network

Autoři: Bangrui Wan Shuang Dong Jianjun Zhou a další

Zdroj: Applied Sciences, Vol 13, Iss 17, p 9580 (2023)

Témata: 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

Popis souboru: electronic resource

Relation: https://www.mdpi.com/2076-3417/13/17/9580; https://doaj.org/toc/2076-3417

Přístupová URL adresa: https://doaj.org/article/01ad4f5774e04d3e8347d3fbc66cbe6c

WebJShrink: a web service for debloating Java bytecode

Autoři: Konner Macias Mihir Mathur Bobby R. Bruce a další

Zdroj: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :1665-1669

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3368089.3417934

Reverse-engineering 1-n associations from Java bytecode using alias analysis

Autoři: Yoohoon Kang Chanjin Park Chisu Wu

Zdroj: Information and Software Technology. 49:81-98

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR

Autoři: Tomaž DOBRAVEC

Zdroj: Acta Electrotechnica et Informatica, Vol 18, Iss 4, Pp 17-25 (2019)

Témata: Algorithm evaluation, Java bytecode counting, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

Relation: http://www.aei.tuke.sk/papers/2018/4/03_Dobravec.pdf; https://doaj.org/toc/1335-8243; https://doaj.org/toc/1338-3957

Přístupová URL adresa: https://doaj.org/article/b2bf7a8d80fa4f4a8890b04d97990146

Graft: Static Analysis of Java Bytecode with Graph Databases

Autoři: Wim Keirsgieter Willem Visser

Zdroj: Conference of the South African Institute of Computer Scientists and Information Technologists 2020. :217-226

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

A Framework for Debugging Java Programs in a Bytecode

Autoři: Soomro, Safeeullah Belgaum, Mohammad Riyaz Alansari, Zainab a další

Zdroj: 2018 International Conference on Computing, Electronics & Communications Engineering (iCCECE). :317-322

Témata: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Formal Languages and Automata Theory (cs.FL), 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Formal Languages and Automata Theory, 02 engineering and technology, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/1904.12501
http://arxiv.org/abs/1904.12501

Design, implementation, and application of GPU-based Java bytecode interpreters

Autoři: Ahmet Celik Pengyu Nie Christopher J. Rossbach a další

Zdroj: Proceedings of the ACM on Programming Languages. 3:1-28

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3360603

The Strengths and Behavioral Quirks of Java Bytecode Decompilers

Autoři: Harrand, Nicolas Soto-Valero, César Monperrus, Martin a další

Zdroj: 2019 19th International Working Conference on Source Code Analysis and Manipulation (SCAM). :92-102

Témata: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: http://arxiv.org/pdf/1908.06895
http://arxiv.org/abs/1908.06895

An Adaptive Approach to Recommending Obfuscation Rules for Java Bytecode Obfuscators

Autoři: Yanru Peng Yuting Chen Beijun Shen

Zdroj: 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC). :97-106

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode

Autoři: Eduardo Geraldo João Costa Seco

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 16-31 (2019)

Témata: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, Mathematics, Programming Languages (cs.PL)

Přístupová URL adresa: https://arxiv.org/pdf/1908.10041
http://arxiv.org/abs/1908.10041
https://doaj.org/article/921040cebea04d9fa56d42600dbf4bd9

Constraint Based Testing and Verification of Java Bytecode Programs

Autoři: Safaa Achour Mohammzed Benattou

Zdroj: 2018 IEEE 5th International Congress on Information Science and Technology (CiSt). :64-69

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Using CLP Simplifications to Improve Java Bytecode Termination Analysis

Autoři: SPOTO, Nicola Fausto L. Lu F. Mesnard a další

Přispěvatelé: SPOTO, Nicola Fausto L. Lu F. Mesnard a další

Zdroj: Electronic Notes in Theoretical Computer Science. 253:129-144

Témata: termination, Static analysis, abstract interpretation, termination analysis, Java, constraint logic programming, static analysis, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.univ-reunion.fr/hal-01188704v1/document
https://hal.univ-reunion.fr/hal-01188704v1
https://doi.org/10.1016/j.entcs.2009.11.019
https://hdl.handle.net/11562/339420
https://doi.org/10.1016/j.entcs.2009.11.019

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode

Autoři: Méndez-Lojo, Mario Navas, J. Hermenegildo, Manuel V.

Zdroj: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) | Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) | 31 March 2007 | Braga, Portugal
Archivo Digital UPM
instname

Témata: Informática, multivariance, static analysis, Fixpoint algorithm, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, 02 engineering and technology, Theoretical Computer Science, Computer Science(all)

Popis souboru: application/pdf

Přístupová URL adresa: https://oa.upm.es/14606/

Java Bytecode Control Flow Classification: Framework for Guiding Java Decompilation

Autoři: Siwadol Sateanpattanakul Duangpen Jetpipattanapong Seksan Mathulaprangsan

Zdroj: Journal of Mobile Multimedia.

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://journals.riverpublishers.com/index.php/JMM/article/download/5523/9997

Experiments with Non-Termination Analysis for Java Bytecode

Autoři: E. Payet SPOTO, Nicola Fausto Univ, Réunion a další

Přispěvatelé: E. Payet SPOTO, Nicola Fausto Univ, Réunion a další

Zdroj: Electronic Notes in Theoretical Computer Science. 253:83-96

Témata: termination, static analysis, Static analysis, abstract Interpretation, non-termination analysis, termination analysis, Java bytecode, non-termination, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, Java, Theoretical Computer Science, Computer Science(all)

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.univ-reunion.fr/hal-01188696v2/document
https://doi.org/10.1016/j.entcs.2009.11.016
https://hal.univ-reunion.fr/hal-01188696v2