Search Results - "Java programs"

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

Authors: Abbasi, Rosa Schiffl, Jonas Darulova, Eva et al.

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

Subject Terms: Deductive verification, Floating-point arithmetic, Transcendental functions

File Description: electronic

Access URL: 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

Authors: Hyun-il Lim

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

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

Authors: Chenxi Zhang Yufei Liang Tian Tan et al.

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

Static Analysis of Remote Procedure Call in Java Programs

Authors: Baoquan Cui Rong Qu Zhen Tang et al.

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

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

Authors: Hanan Abdulwahab Siala Kevin Lano

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

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

Authors: Chi Zhang Jian Zhang

Source: 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

Authors: Zaiyu Cheng Tong Wu Peter Schrammel et al.

Source: 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

Subject Terms: Bounded Model Checking, Correctness, Witness Validation, Java Programming

Access URL: 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

Authors: Fumero, Juan Stratikopoulos, Athanasios Davidson, Colin et al.

Source: 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

Subject Terms: Performance, Vectorization, Compiler, RISC-V, OCK, JIT Compiler, Java

File Description: application/pdf

Access URL: 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

Authors: Benjamin Kushigian Samuel J. Kaufman Ryan Featherman et al.

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

Automatic Generation of Contracts for Concurrent Java Programs

Authors: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Contributors: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Subject Terms: paper, national, rank-X, rline-vvcs

File Description: 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

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

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

Authors: Kalfin Kalfin Riza Andrian Ibrahim Grida Sakti Laksito

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

Subject Terms: 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

Authors: Neil C. C. Brown Victoria Mac Pierre Weill-Tessier et al.

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

Automated checker for detecting method-hiding in Java programs

Authors: Nazir, M. Z. I. Alqaradaghi, M. Kozsik, Tamás

Source: Infocommunications journal. 16:19-24

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

File Description: text

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations

Authors: Cui, Baoquan Qu, Rong Zhang, Jian

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2505.05715

Efficient execution of Java programs on GPU

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

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

Source: urn:tid:203253558

Subject Terms: GPU, GPGU, Java, High-performance, OpenCL, Aparapi, SHOC, Parboil

File Description: application/pdf

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

Performance Study of Kotlin and Java Programs with Bytecode Analysis

Authors: Hayataka Nakamura Atsuya Sonoyama Takeshi Kamiyama et al.

Source: 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

Authors: Hyun-il Lim

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

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

Authors: Jens Dietrich Tim White Mohammad Mahdi Abdollahpour et al.

Source: 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

Authors: Chukri Soueidi Marius Monnier Yliès Falcone

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

Understanding Software Merge Conflicts for Java Programs

Authors: Shen, Bowen

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

Subject Terms: software engineering, merge conflict

File Description: ETD; application/pdf

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