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

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY

Autoři: Abbasi, Rosa Schiffl, Jonas Darulova, Eva a další

Zdroj: International Journal on Software Tools for Technology Transfer Benchmark Repository for Floating-Point Support in KeY. 25(2):185-204

Témata: Deductive verification, Floating-point arithmetic, Transcendental functions

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/534936
https://research.chalmers.se/publication/534936/file/534936_Fulltext.pdf

An Approach to Detecting Similar Programs using Instruction Embeddings of Java Programs

Autoři: Hyun-il Lim

Zdroj: Asia-pacific Journal of Convergent Research Interchange. 11:411-420

Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs

Autoři: Chenxi Zhang Yufei Liang Tian Tan a další

Zdroj: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). :1089-1100

Static Analysis of Remote Procedure Call in Java Programs

Autoři: Baoquan Cui Rong Qu Zhen Tang a další

Zdroj: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). :1101-1113

Using Large Language Models to Extract UML Class Diagrams from Java Programs

Autoři: Hanan Abdulwahab Siala Kevin Lano

Zdroj: 2025 8th International Conference on Software and System Engineering (ICoSSE). :70-74

StriCT-Bj:A String Constraint Benchmark from Real Java Programs

Autoři: Chi Zhang Jian Zhang

Zdroj: 2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). :418-429

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking

Autoři: Zaiyu Cheng Tong Wu Peter Schrammel a další

Zdroj: Cheng, Z, Wu, T, Schrammel, P, Tihanyi, N, de Lima Filho, E B & Cordeiro, L 2024, JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking. in The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). pp. 1831-1835. https://doi.org/10.1145/3650212.3685303

Témata: Bounded Model Checking, Correctness, Witness Validation, Java Programming

Přístupová URL adresa: https://research.manchester.ac.uk/en/publications/5e75d4bc-bf8a-42a9-a915-e76576b9dd6e
https://doi.org/10.1145/3650212.3685303

Leveraging RISC-V Vectorization: Accelerating Java Programs with TornadoVM and OCK

Autoři: Fumero, Juan Stratikopoulos, Athanasios Davidson, Colin a další

Zdroj: Fumero Alfonso, J, Stratikopoulos, A, Davidson, C, van Dijk, H, Dolinsky, U, Papadimitriou, M, Xekalaki, M & Kotselidis, C-E 2025, 'Leveraging RISC-V Vectorization : Accelerating Java Programs with TornadoVM and OCK', Paper presented at RISC-V Summit Europe 2025, Paris, France, 12/05/25-15/05/25 pp. 1-2. https://doi.org/10.5281/zenodo.15076543

Témata: Performance, Vectorization, Compiler, RISC-V, OCK, JIT Compiler, Java

Popis souboru: application/pdf

Přístupová URL adresa: https://research.manchester.ac.uk/en/publications/d6b38f53-8dd1-49ab-a432-017c90c14751

Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs

Autoři: Benjamin Kushigian Samuel J. Kaufman Ryan Featherman a další

Zdroj: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :654-665

Automatic Generation of Contracts for Concurrent Java Programs

Autoři: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy a další

Přispěvatelé: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy a další

Témata: paper, national, rank-X, rline-vvcs

Popis souboru: application/pdf

Relation: Pereira, H., Sousa, D. G., Bradbury, J., & Lourenço, J. M. (2022). Automatic Generation of Contracts for Concurrent Java Programs. In INForum 2022 - Atas do 13º Simpósio de Informática (pp. 131-132). (INForum 2022). FEUP Edições. https://inforum.org.pt/2022/sites/default/files/2022-09/Actas_INForum.pdf; 978-972-752-171-5; PURE: 72264597

Dostupnost: http://hdl.handle.net/10362/162732

Optimization of White Box Testing by Utilizing Branching and Repeating Structures in Java Programs Using Base Path

Autoři: Kalfin Kalfin Riza Andrian Ibrahim Grida Sakti Laksito

Zdroj: International Journal of Mathematics, Statistics, and Computing. 2:85-89

Témata: FOS: Computer and information sciences, Composite material, Real-Time Simulation Technologies for Power Systems, Program Repair, Mathematical analysis, Engineering, Branching (polymer chemistry), FOS: Mathematics, Test Case Prioritization, Automated Testing, Automated Software Testing Techniques, Base (topology), 4. Education, Application of Fuzzy Logic in Educational Assessment, Path (computing), Computer science, Web-Based Testing, Materials science, Programming language, Control and Systems Engineering, Computer Science, Physical Sciences, Search-Based Testing, Software, Java, Mathematics, Information Systems

Writing Between the Lines: How Novices Construct Java Programs

Autoři: Neil C. C. Brown Victoria Mac Pierre Weill-Tessier a další

Zdroj: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. :165-171

Automated checker for detecting method-hiding in Java programs

Autoři: Nazir, M. Z. I. Alqaradaghi, M. Kozsik, Tamás

Zdroj: Infocommunications journal. 16:19-24

Témata: QA75 Electronic computers. Computer science / számítástechnika, QA Mathematics / matematika, számítógéptudomány, QA76 Computer software / programozás

Popis souboru: text

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations

Autoři: Cui, Baoquan Qu, Rong Zhang, Jian

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

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

Efficient execution of Java programs on GPU

Autoři: Raposo, Gonçalo Medeiros São Pedro Sobral, João Luís Ferreira Universidade do Minho

Přispěvatelé: Raposo, Gonçalo Medeiros São Pedro Sobral, João Luís Ferreira Universidade do Minho

Zdroj: urn:tid:203253558

Témata: GPU, GPGU, Java, High-performance, OpenCL, Aparapi, SHOC, Parboil

Popis souboru: application/pdf

Dostupnost: https://hdl.handle.net/1822/84091

Performance Study of Kotlin and Java Programs with Bytecode Analysis

Autoři: Hayataka Nakamura Atsuya Sonoyama Takeshi Kamiyama a další

Zdroj: Journal of Information Processing. 32:380-395

An Approach to Comparing Java Programs through the Graph Edit Distance with Similar Instruction Matching of Control Flow Graphs

Autoři: Hyun-il Lim

Zdroj: Asia-pacific Journal of Convergent Research Interchange. 9:115-125

BinEq - A Benchmark of Compiled Java Programs to Assess Alternative Builds

Autoři: Jens Dietrich Tim White Mohammad Mahdi Abdollahpour a další

Zdroj: Proceedings of the 2024 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses. :15-25

Efficient and expressive bytecode-level instrumentation for Java programs

Autoři: Chukri Soueidi Marius Monnier Yliès Falcone

Zdroj: International Journal on Software Tools for Technology Transfer. 25:453-479

Understanding Software Merge Conflicts for Java Programs

Autoři: Shen, Bowen

Thesis Advisors: Computer Science and#38; Applications, Meng, Na, Butt, Ali, Servant Cortes, Francisco Javier, He, Fei, Tilevich, Eli

Témata: software engineering, merge conflict

Popis souboru: ETD; application/pdf

Dostupnost: https://hdl.handle.net/10919/129386