Latest Articles for Software Development

The SKA Observatory develops an advanced tool for managing telescope observations.

An overview of the software tools supporting SKAO's astronomical observations.

This article examines human-centric defects in software and suggests improvements for reporting.

A method for verifying programming languages for better reliability and correctness.

A new method improves bug fixing speed and efficiency in software development.

Exploring adaptive systems for managing runtime errors using Large Language Models.

New methods aim to improve the connection between code and visual models in CAD software.

Learn how assertion messages improve software testing and troubleshooting.

A new tool enhances code editing by recommending relevant changes.

Introducing a model to clarify ambiguities in binary edge images.

Static code analysis helps developers find issues early in software development.

A novel approach to checkpointing in MPI enhances efficiency and eases usage.

This article discusses new methods for automating SDV software integration and configuration.

Dareplane offers solutions for effective adaptive deep brain stimulation experiments.

TESSilator helps researchers analyze star rotation using TESS data.

ReDel helps AI agents work together on complex tasks efficiently.

A new tool enhances modernization of critical mainframe systems and COBOL code.

Learn how data testing improves machine learning model performance.

A new framework emphasizes trust in software risk assessment.

This article examines security risks when selecting Java packages, offering insights for developers.

Study reveals how environment settings affect AI software performance and costs.

A machine learning approach enhances prediction of program behavior without execution.

New techniques improve verification of complex computer programs for reliable performance.

Analyzing vulnerabilities in popular code completion tools and their implications for developers.

This study examines the capability of open-source LLMs in producing commit messages.

Examining the risks and responsibilities of license compliance in AI coding tools.

A look into prompt leakage risks in large language models and prevention methods.

Examining how AI can improve security code generation through context.

Examining how AI assistants can respect user privacy while handling tasks.

Study reveals advancements in detecting software vulnerabilities using specialized classifiers.

A new approach to enhance tagging accuracy using pre-trained models.

A study evaluates how textbooks align with programming skill levels in Python.

AI automates code fixes and feature enhancements for developers.

Discover how TestART improves automated unit test generation.

OpenFactCheck provides a framework for evaluating the accuracy of language model outputs.

Examining the reliability of Large Language Models and their varying outputs.

Dopamin enhances comment classification for smoother software development.

A new benchmark assesses code completion tools in practical programming environments.

Using Large Language Models to enhance vulnerability detection in software code.

This article discusses recomposition's role in improving software verification processes.