Výsledky vyhledávání - "Java bytecode"

Advanced Mutation Testing of Java Bytecode Using Model Transformation

Autoři: Christoph Bockisch Freya Dorn Deniz Eren a další

Témata: Java bytecode, Mutation testing, Model transformation

Capturing program models with BISM

Autoři: Soueidi, Chukri Falcone, Yliès

Přispěvatelé: Soueidi, Chukri Falcone, Yliès

Zdroj: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. :1857-1861

Témata: Java Bytecode, Typestate Analysis, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Runtime Verification, Parametric Monitoring, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Runtime Verification Typestate Analysis Parametric Monitoring Instrumentation Java Bytecode Control Flow, Instrumentation, Control Flow, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-03911682v1/document
https://doi.org/10.1145/3477314.3507239
https://inria.hal.science/hal-03911682v1

Debloating Java Dependencies

Autoři: Soto Valero, César Baudry, Benoit, Professor Monperrus, Martin, Professor a další

Přispěvatelé: Soto Valero, César Baudry, Benoit, Professor Monperrus, Martin, Professor a další

Zdroj: TRITA-EECS-AVL.

Témata: Software debloating, software dependencies, Java bytecode, package manager, static program analysis, dynamic program analysis, Datalogi, Computer Science

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326755
https://kth.diva-portal.org/smash/get/diva2:1755964/FULLTEXT03.pdf

Translating c into java bytecode

Autoři: Nabiyev, Farrukh

Témata: C to Java compiler, cheminformatics, Crystallographic Information File (CIF), ANTLR, Java bytecode, ASM (Java library), CIF parser, simulated memory model. C į Java kompiliatorius, cheminė informatika, Kristalografinės informacijos failas (CIF), ANTLR, Java baitinis kodas, ASM (Java biblioteka), CIF analizatorius, simuliuotas atminties modelis

Popis souboru: application/pdf

Přístupová URL adresa: https://repository.vu.lt/VU:ELABAETD238879786&prefLang=en_US

JaDA – the Java Deadlock Analyzer

Autoři: Abel Garcia Cosimo Laneve Cosimo, Laneve a další

Přispěvatelé: Abel Garcia Cosimo Laneve Cosimo, Laneve a další

Zdroj: Behavioural Types ISBN: 9781003337331

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Java bytecode, static analysis, behavioral type system, deadlock analysis, program verification, [INFO] Computer Science [cs], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-01643216v1
https://hdl.handle.net/11585/669699

CIL to Java-bytecode translation for static analysis leveraging

Autoři: Pietro Ferrara 0001 Agostino Cortesi Fausto Spoto

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

Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution)

Autoři: Tong Wu Peter Schrammel Lucas C. Cordeiro a další

Přispěvatelé: Tong Wu Peter Schrammel Lucas C. Cordeiro a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783030995263
Wu, T, Schrammel, P & Cordeiro, L 2022, Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). in D Fisman & G Rosu (eds), Tools and Algorithms for the Construction and Analysis of Systems-28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. vol. 13244, Lecture Notes in Computer Science, Springer Nature, pp. 484-489. https://doi.org/10.1007/978-3-030-99527-0_36
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems

Témata: Software Verification, Java Bytecode, Witness Validation

A novel code representation for detecting Java code clones using high-level and abstract compiled code representations

Autoři: Fahmi H. Quradaa Sara Shahzad Rashad Saeed a další

Zdroj: PLoS One
PLoS ONE, Vol 19, Iss 5 (2024)

Témata: FOS: Computer and information sciences, Code Clone Detection, Artificial intelligence, Science, Java bytecode, 02 engineering and technology, Machine Learning, Characterization and Detection of Android Malware, 0202 electrical engineering, electronic engineering, information engineering, Static Code Attributes, Abstract syntax tree, Source code, Bytecode, Parsing, Java applet, Source Code Analysis, Natural language processing, Java annotation, Computer science, Semantics, Programming language, Detection, Computer Science, Physical Sciences, Signal Processing, Medicine, Programming Languages, Software Reliability Modeling, Software Reliability Assessment and Prediction, Algorithms, Software, Java, Research Article, Empirical Studies in Software Engineering, Information Systems

Přístupová URL adresa: https://pubmed.ncbi.nlm.nih.gov/38728285
https://doaj.org/article/a5f315d9e7c14decb3cb6ab49412d766

Detecting Java Code Clones Based on Bytecode Sequence Alignment

Autoři: Dongjin Yu Jiazha Yang Xin Chen 0032 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

From Jinja bytecode to term rewriting: A complexity reflecting transformation: From Jinja bytecode to term rewriting: a complexity reflecting transformation

Autoři: Georg Moser Michael Schaper

Zdroj: Information and Computation. 261:116-143

Témata: program transformation, Analysis of algorithms and problem complexity, 0102 computer and information sciences, 02 engineering and technology, termination and resource analysis, AUTOMATED TERMINATION ANALYSIS, 01 natural sciences, Algorithmic information theory (Kolmogorov complexity, etc.), COMPILER, RESOURCE ANALYSIS, JAVA BYTECODE, term rewriting, Grammars and rewriting systems, 0202 electrical engineering, electronic engineering, information engineering, PROVING TERMINATION, automation

Popis souboru: application/xml

Code Coverage for Java Dependencies

Autoři: Sävås, Jonas

Témata: Code Coverage, Datavetenskap (datalogi), Java Bytecode, Programvaruteknik, Computer Sciences, Kodtäckning, Dependencies, Software Bloat, Software Engineering, Java Bytekod, Maven, Mjukvaruberoenden, Uppsvälld programvara

Popis souboru: application/pdf

Přístupová URL adresa: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-373597

An MDE Approach for Modular Program Analyses

Autoři: Bugra M. Yildiz Christoph Bockisch Arend Rensink a další

Zdroj: Companion to the first International Conference on the Art, Science and Engineering of Programming. :1-5

Témata: Model Driven Engineering, Model Transformation, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://research.utwente.nl/en/publications/71993db2-1f96-4fa1-ba51-a3cdffc8b2a5
https://doi.org/10.1145/3079368.3079392

A Model-Derivation Framework for Software Analysis

Autoři: Bugra M. Yildiz Arend Rensink Christoph Bockisch a další

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 244, Iss Proc. MARS 2017, Pp 217-229 (2017)

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, Java bytecode, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, UPPAAL, Software Engineering (cs.SE), Model Driven Engineering, Computer Science - Software Engineering, Metamodelling, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Model Transformaton, Programming Languages (cs.PL)

Přístupová URL adresa: https://arxiv.org/pdf/1703.06576
http://arxiv.org/abs/1703.06576
https://doaj.org/article/1a3ff6a666ae4afea3a0d9be6dfe6e98
https://research.utwente.nl/en/publications/54563416-6504-4554-8af7-75ca474aaaf1
https://doi.org/10.4204/EPTCS.244.9

BISM: Bytecode-Level Instrumentation for Software Monitoring

Autoři: Soueidi, Chukri Kassem, Ali Falcone, Yliès a další

Přispěvatelé: Soueidi, Chukri Kassem, Ali Falcone, Yliès a další

Zdroj: RV 2020 - 20th International Conference on Runtime Verification ; https://inria.hal.science/hal-03081265 ; RV 2020 - 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12

Témata: Static and Dynamic Contexts, Control Flow, Aspect-Oriented Programming, Java Bytecode, Monitoring, Runtime Verification, Instrumentation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Los Angeles, United States

Dostupnost: https://inria.hal.science/hal-03081265
https://inria.hal.science/hal-03081265v1/document
https://inria.hal.science/hal-03081265v1/file/rv20.pdf

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

Code Coverage for Java Dependencies ; Kodtäckning för Java Beroenden

Autoři: Sävås, Jonas

Témata: Code Coverage, Dependencies, Maven, Java Bytecode, Software Bloat, Kodtäckning, Mjukvaruberoenden, Java Bytekod, Uppsvälld programvara, Computer Sciences, Datavetenskap (datalogi), Software Engineering, Programvaruteknik

Popis souboru: application/pdf

Relation: TRITA-EECS-EX; 2025:784

Dostupnost: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-373597

Applying dynamic analysis for defect detection in Java-applications

Autoři: Sergey Vartanov Alexander Gerasimov

Zdroj: Труды Института системного программирования РАН, Vol 25, Iss 0, Pp 9-28 (2018)

Témata: итеративный динамичеcкий анализ программ, автоматический поиск ошибок, анализ java программ, software iterative dynamic analysis, automatic defect detection, java bytecode instrumentation, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/870; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

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

Reachability Analysis of Program Variables

Autoři: NIKOLIC, Durica SPOTO, Nicola Fausto

Zdroj: Lecture Notes in Computer Science ISBN: 9783642313646

Témata: static analysis, Abstract interpretation, Reachability Analysis, pointer analysis, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, Static Analysis, Constraint-based Analysis, Abstract Interpretation, Java Bytecode, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 3. Good health

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/11562/659958
https://doi.org/10.1145/2529990
http://www.springerlink.com/content/u52nnt52p6560848/
https://doi.org/10.1007/978-3-642-31365-3
https://hdl.handle.net/11562/414136

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs

Autoři: de Carvalho Gomes, Pedro Picoco, Attilio Gurov, Dilian

Zdroj: Fundamental Approaches to Software Engineering Lecture Notes in Computer Science. :215-229

Témata: Incomplete Programs, Java Bytecode, Program Models, Formal Verification, Datalogi, Computer Science

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154786
https://doi.org/10.1007/978-3-642-54804-8_15

Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs

Autoři: Malte Mues Till Schallau Falk Howar

Zdroj: Lecture Notes in Computer Science ISBN: 9783030634605

Témata: Dynamic Symbolic Execution, Java Bytecode Analysis, Dynamic Taint Analysis, Domain Specific Languages