Suchergebnisse - Java programs

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

Autoren: Zaiyu Cheng Tong Wu Peter Schrammel et al.

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

Schlagwörter: Bounded Model Checking, Correctness, Witness Validation, Java Programming

Zugangs-URL: https://research.manchester.ac.uk/en/publications/5e75d4bc-bf8a-42a9-a915-e76576b9dd6e
https://doi.org/10.1145/3650212.3685303

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

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

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

Schlagwörter: Deductive verification, Floating-point arithmetic, Transcendental functions

Dateibeschreibung: electronic

Zugangs-URL: https://research.chalmers.se/publication/534936
https://research.chalmers.se/publication/534936/file/534936_Fulltext.pdf

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

Autoren: Kalfin Kalfin Riza Andrian Ibrahim Grida Sakti Laksito

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

Schlagwörter: 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

A journey among Java neutral program variants

Autoren: Harrand, Nicolas Allier, Simon Rodriguez-Cancio, Marcelino et al.

Quelle: Genetic Programming and Evolvable Machines. 20(4):531-580

Schlagwörter: Neutral program variant, Program transformation, Java, Code plasticity

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-264174
https://doi.org/10.1007/s10710-019-09355-3

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

Autoren: Hyun-il Lim

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

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

Autoren: Chenxi Zhang Yufei Liang Tian Tan et al.

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

Static Analysis of Remote Procedure Call in Java Programs

Autoren: Baoquan Cui Rong Qu Zhen Tang et al.

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

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

Autoren: Hanan Abdulwahab Siala Kevin Lano

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

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

Autoren: Chi Zhang Jian Zhang

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

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

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

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

Schlagwörter: Performance, Vectorization, Compiler, RISC-V, OCK, JIT Compiler, Java

Dateibeschreibung: application/pdf

Zugangs-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

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

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

Efficient execution of Java programs on GPU

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

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

Quelle: urn:tid:203253558

Schlagwörter: GPU, GPGU, Java, High-performance, OpenCL, Aparapi, SHOC, Parboil

Dateibeschreibung: application/pdf

Verfügbarkeit: https://hdl.handle.net/1822/84091

Automatic Generation of Contracts for Concurrent Java Programs

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

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

Schlagwörter: paper, national, rank-X, rline-vvcs

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

Verfügbarkeit: http://hdl.handle.net/10362/162732

Automated checker for detecting method-hiding in Java programs

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

Quelle: Infocommunications journal. 16:19-24

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

Dateibeschreibung: text

Writing Between the Lines: How Novices Construct Java Programs

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

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

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations

Autoren: Cui, Baoquan Qu, Rong Zhang, Jian

Schlagwörter: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2505.05715

Performance Study of Kotlin and Java Programs with Bytecode Analysis

Autoren: Hayataka Nakamura Atsuya Sonoyama Takeshi Kamiyama et al.

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

Converting Physlets and Other Java Programs to JavaScript

Autoren: Christian, Wolfgang Belloni, Mario Hanson, Robert M. et al.

Quelle: Physics Teacher. Apr 2021 59(4):278-281.

Peer Reviewed: Y

Page Count: 4

Descriptors: Physics, Computer Oriented Programs, Programming Languages, Simulation, Scientific Concepts, Web Sites, Illustrations

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

Autoren: Hyun-il Lim

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

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

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

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