Latest Articles for Software Engineering

Researchers develop a technique to help malware evade detection.

New methods enhance software verification efficiency using auxiliary invariants.

A framework simplifies peephole optimizations for better performance in Java applications.

A new method to ensure JavaScript regex reliability and clarity.

A new logic improves the study of agent interactions in complex systems.

Dynamic adjustment of data structures for efficient performance under varying workloads.

This article investigates how large language models simulate logic codes effectively.

A study highlights data contamination's impact on code model evaluations.

Focus on using solid research to improve software development practices.

An overview of the Raft algorithm for consensus in distributed systems.

A new method to confirm SQL integrity based on OCL rules.

CoderUJB evaluates LLM performance in real-world Java programming tasks.

DeepSample offers effective techniques for testing Deep Neural Networks efficiently and accurately.

Learn how LLMs can help make C programming safer and more efficient.

A new method enhances on-device models for efficient AI function calling.

Exploring the role of generative AI in enhancing software safety practices.

A new model improves the analysis of WebAssembly code through mixed data understanding.

Study reveals how code modifications influence software quality metrics.

A fresh approach to enhance software performance through dynamic tuning methods.

A new approach reduces complexity in checking data structure correctness.

MLRefScanner enhances detection of code refactoring in Python machine learning projects.

A practical guide for researchers using mixed methods in software engineering.

A study on the sharing, maintenance, and quality of software research artifacts.

A new method for evaluating language models to improve reliability.

Engaging students in Software Testing with Team-Based Learning and Open Source projects.

LogSD improves anomaly detection in log data by focusing on infrequent events.

Learn the importance of validating distributed program traces against specifications.

Examining how LLMs can aid the screening process in systematic reviews.

Exploring the role of hyperproperties in verifying complex software systems.

A look into the complexities of systems-of-systems in modern software engineering.

Explore the role of human aspects in software modelling and its implications.

A look into TopKAT and its role in analyzing computer programs.

A new approach to enhance code clone detection across software projects.

A new platform aims to improve vehicle security testing for modern automotive technologies.

Gamification enhances student engagement and motivation in software engineering programs.

This study investigates memory efficiency in large language models through low-rank decomposition.

A novel approach to enhance graph consistency through transformation rules and application conditions.

WeChat enhances metric computation efficiency using BSI technology for better decision-making.

Explore the nature, types, and real-world uses of constraint satisfaction problems.

A look into how different monitoring systems check complex behaviors.