Latest Articles for Software Engineering

Learn how YORO improves procedural content generation in gaming.

This study examines how LLMs assess bug report summaries compared to human evaluators.

Learn how LE- logic improves knowledge representation and query answering.

IoT security needs urgent attention for safer device interactions.

This paper addresses control-flow leakage threats and proposes a new hardware-software approach.

A new framework combines code search, generation, and repair for efficient programming.

A study reveals inconsistencies in how Android apps report data collection.

This article highlights the significance of effective software design in weeding robots.

A new model improves function name recovery in binary code analysis.

New method enhances trust and clarity in software verification processes.

Exploring recent developments in automata learning and query techniques.

Examining the privacy issues linked to third-party SDKs in mobile applications.

This study evaluates LLM effectiveness in static and dynamic program slicing tasks.

This article reviews OpenAI's new coding models and their performance in web applications.

Examining how biases in LLMs affect software team recruitment.

A study examining student challenges and strategies in software modelling tasks.

An automated approach improves log analysis and fault diagnosis in online services.

A new approach to classify malware efficiently using fewer labeled samples.

Exploring new methods to improve proof verification in software engineering.

Discover how SymAware improves collaboration and safety in autonomous systems.

A new tool to improve quantum circuit simulation performance.

A look into the trustworthiness of AI agents and ethical concerns.

Grouping messages improves efficiency in modern computing.

Researchers develop a self-correcting framework for efficient testbench generation in hardware design.

Learn how AVL trees maintain balance for efficient number searching.

Bad data can lead to poor model performance in deep learning applications.

Learn how access-control policies protect your data in web applications.

Discover how formal methods improve software reliability and help catch bugs early.

AI models can help find vulnerabilities in cryptographic systems for better security.

A look at how trace logic aids recursive program verification.

CodeSAM helps improve code understanding and analysis through various perspectives.

Exploring how systems can behave similarly despite differences.

An overview of software vulnerabilities and the models used to detect them.

A study on the performance of LLMs in software engineering tasks.

We examined two scenarios for developing security tools against attacks.

Learn about micro frontends, their benefits, and common challenges.

A new approach to code verification that blends powerful techniques.

Discover how O1-CODER is changing the way machines learn to code.

Discover how metamorphic testing enhances machine learning models for real-world challenges.

AI is transforming how software is developed, tested, and maintained.