Search Results - Java programs

  1. 501
  2. 502

    VeriFx: Correct Replicated Data Types for the Masses by De Porre, Kevin, Ferreira, Carla, Boix, Elisa Gonzalez

    Published 2022
    Table of Contents: “…, we propose VeriFx, a high-level programming language with automated proof capabilities. VeriFx lets…”
    Get full text
    Preprint
  3. 503

    A Closer Look into Transformer-Based Code Intelligence Through Code Transformation: Challenges and Opportunities by Li, Yaoxian, Qi, Shiyi, Gao, Cuiyun, Peng, Yun, Lo, David, Xu, Zenglin, Lyu, Michael R.

    Published 2022
    Table of Contents: “… strategies are implemented for two popular programming languages, Java and Python, respectively…”
    Get full text
    Preprint
  4. 504

    GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions by Saavedra, Nuno, Silva, André, Monperrus, Martin

    Published 2023
    Table of Contents: “… such as automatic program repair (APR) and fault localization (FL). A good benchmark must include recent examples…”
    Get full text
    Preprint
  5. 505

    DebugBench: Evaluating Debugging Capability of Large Language Models by Tian, Runchu, Ye, Yining, Qin, Yujia, Cong, Xin, Lin, Yankai, Pan, Yinxu, Wu, Yesai, Hui, Haotian, Liu, Weichuan, Liu, Zhiyuan, Sun, Maosong

    Published 2024
    Table of Contents: “… critical component of programming proficiency, the debugging capability of LLMs remains relatively…”
    Get full text
    Preprint
  6. 506

    Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis by Lanzinger, Florian, Martin, Christian, Reiche, Frederik, Teuber, Samuel, Heinrich, Robert, Weigl, Alexander

    Published 2024
    Table of Contents: “… program. From this, we can compute the probability that under a given usage profile no service is called…”
    Get full text
    Preprint
  7. 507

    Validity-Preserving Delta Debugging via Generator Trace Reduction by Ren, Luyao, Zhang, Xing, Hua, Ziyue, Jiang, Yanyan, He, Xiao, Xiong, Yingfei, Xie, Tao

    Published 2024
    Table of Contents: “… models, JavaScript programs, SymPy, and algebraic data types) show that GReduce substantially outperforms…”
    Get full text
    Preprint
  8. 508

    Discovering and exploring cases of educational source code plagiarism with Dolos by Maertens, Rien, Van Neyghem, Maarten, Geldhof, Maxiem, Van Petegem, Charlotte, Strijbol, Niko, Dawyndt, Peter, Mesuere, Bart

    Published 2024
    Table of Contents: “… interface, a JSON application programming interface (API), a command line interface (CLI), a Java…”
    Get full text
    Preprint
  9. 509

    Execution-Based Evaluation of Natural Language to Bash and PowerShell for Incident Remediation by Vo, Ngoc Phuoc An, Paulovicks, Brent, Sheinin, Vadim

    Published 2024
    Table of Contents: “… evaluation platforms for popular programming languages such as SQL, Python, Java, but limited or no attempts…”
    Get full text
    Preprint
  10. 510

    Comparison of Static Application Security Testing Tools and Large Language Models for Repo-level Vulnerability Detection by Zhou, Xin, Tran, Duc-Manh, Le-Cong, Thanh, Zhang, Ting, Irsan, Ivana Clairine, Sumarlin, Joshua, Le, Bach, Lo, David

    Published 2024
    Table of Contents: “… popular programming languages: Java, C, and Python. The experimental results showed that SAST tools obtain…”
    Get full text
    Preprint
  11. 511

    Chat-like Asserts Prediction with the Support of Large Language Model by Wang, Han, Hu, Han, Chen, Chunyang, Turhan, Burak

    Published 2024
    Table of Contents: “… challenge. While several studies have investigated assert statement generation in Java, limited work…”
    Get full text
    Preprint
  12. 512

    Development and Benchmarking of Multilingual Code Clone Detector by Zhu, Wenqing, Yoshida, Norihiro, Kamiya, Toshihiro, Choi, Eunjong, Takada, Hiroaki

    Published 2024
    Table of Contents: “…The diversity of programming languages is growing, making the language extensibility of code clone…”
    Get full text
    Preprint
  13. 513

    An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches by Poirier, Aurore, Rohou, Erven, Serrano, Manuel

    Published 2025
    Table of Contents: “… continuous profiling of the running programs. This gives them an advantage when compared to Ahead-of-Time…”
    Get full text
    Preprint
  14. 514
  15. 515
  16. 516

    When Retriever Meets Generator: A Joint Model for Code Comment Generation by Le, Tien P. T., Bui, Anh M. T., Pham, Huy N. D., Bucaioni, Alessio, Nguyen, Phuong T.

    Published 2025
    Table of Contents: “… effort and accelerate program comprehension. Retrieval-augmented approaches first fetch code snippets…”
    Get full text
    Preprint
  17. 517

    An Empirical Study of Complexity, Heterogeneity, and Compliance of GitHub Actions Workflows by Abrokwah, Edward, Ghaleb, Taher A.

    Published 2025
    Table of Contents: “… of GHA workflows from Java, Python, and C++ repositories, our goal is to (a) identify workflow…”
    Get full text
    Preprint
  18. 518

    When Code Crosses Borders: A Security-Centric Study of LLM-based Code Translation by Chang, Hailong, Meng, Guozhu, Xiao, Shuhui, Chen, Kai, Sun, Kun, Li, Yilin

    Published 2025
    Table of Contents: “… code samples across four programming languages (Java, PHP, C, C++) and nine Common Weakness Enumeration…”
    Get full text
    Preprint
  19. 519

    On Code-Induced Reasoning in LLMs by Waheed, Abdul, Wu, Zhen, Rosé, Carolyn, Ippolito, Daphne

    Published 2025
    Table of Contents: “…, data-centric framework. We construct parallel instruction datasets in ten programming languages…”
    Get full text
    Preprint
  20. 520

    Large Language Models for Fault Localization: An Empirical Study by Xiao, YingJian, Hu, RongQun, Gong, WeiWei, Li, HongWei, Jie, AnQuan

    Published 2025
    Table of Contents: “…, particularly in automated program repair. However, the effectiveness of such repairs is highly dependent…”
    Get full text
    Preprint