Latest Articles for Software Development

Explore strategies for ensuring software quality in open collaborative development environments.

New techniques enhance performance of navigational graph queries, speeding up evaluations.

A new method enhances detection of microarchitectural vulnerabilities in computer systems.

A study assessing performance and accuracy of posit format versus IEEE 754.

An overview of metamorphic testing and its role in software quality.

GSDO optimizes complex problems without needing derivatives.

Discover how Qiskit aids quantum computing research and applications.

M2CVD improves software vulnerability detection through collaborative model approaches.

A novel approach enhances detection of software security vulnerabilities using advanced models.

Learn how reversible debugging improves error tracking in Erlang programming.

A new benchmark to assess LLMs for Java programming tasks.

A new method enhances code language models through effective test cases and preference learning.

This paper introduces a method to ensure quality in LLM-generated code.

This article explores a new method for improving instruction fetching efficiency.

Quantum computing advances demand effective testing and debugging for reliable software.

Takum numbers offer a better option for computer arithmetic, balancing small and large number efficiency.

A fast method for personalized visual editing using self-attention techniques.

MARVeLus bridges verification and implementation for safer cyber-physical systems.

LogBatcher simplifies log parsing using large language models without prior training.

A new tool improves management of real-time software for immediate responses.

Learn how ecological modeling aids in addressing environmental challenges.

This article discusses the risks of package hallucinations in code-generating models.

A new algorithm improves join query efficiency in databases.

A new method enhances LLMs for generating high-quality UI code.

Using language models to improve software bug detection and testing efficiency.

A new method enhances accuracy in converting informal statements to formal languages.

New framework enhances code completion by capturing repository-specific knowledge.

A new architecture enhances resource management in recommendation systems.

A new R package for functional semiparametric regression and data analysis.

A look at vulnerabilities and solutions for deep learning systems.

Combining fuzzing and language models to improve software testing efficiency.

DafnyBench benchmarks software verification tools, paving the way for reliable programming.

A new tool improves static analysis with simplified graphs and machine learning.

A new approach enhances testing reliability for deep learning libraries.

New software enhances tracking and analysis of C. elegans behaviors and activity.

AlabOS streamlines workflows for automated labs, improving efficiency in materials research.

A dual-language approach enhances correctness while maintaining speed in programming.

Large language models improve differential testing in software development.

Explore how AI is transforming software engineering practices and roles.

CamTrol enables easy camera movement control in generated videos without extensive training.