A new tool improves identification of software authors through code analysis.
― 6 min read
Cutting edge science explained simply
A new tool improves identification of software authors through code analysis.
― 6 min read
A new approach to improve testing in configurable systems by prioritizing critical features.
― 6 min read
A review of machine learning's role in improving continuous integration processes.
― 7 min read
Microgrid simulations help optimize renewable energy integration and system performance.
― 6 min read
A new framework simplifies the creation of machine learning pipelines for digital twins.
― 5 min read
A tool to verify the safety of deep learning models.
― 5 min read
LASSI helps translate computer programs for efficient scientific computing.
― 5 min read
An overview of package manager challenges and their impact on developers.
― 5 min read
Cedar offers a clear way to develop authorization policies for applications.
― 5 min read
Simplified methods outperform complex agents in software problem-solving.
― 7 min read
Examining methods to enhance code generation for specialized programming languages using LLMs.
― 6 min read
New platform and dataset aim to enhance bug-fixing models for the Linux kernel.
― 7 min read
ResearchBot aids developers by connecting them with academic research insights.
― 5 min read
This study assesses how well GPT-3.5 and GPT-4 detect code clones.
― 5 min read
A study on improving code security generated by AI models.
― 6 min read
Learn about drift in ML and how to address it effectively.
― 5 min read
A new framework enhances process mining by using reference models for best practice violations.
― 6 min read
A formal approach to verify the correctness of DAG-based consensus protocols.
― 10 min read
A two-stage framework improves Python's type inference, enhancing code quality and efficiency.
― 6 min read
Exploring machine learning models and new datasets for improved security.
― 7 min read
Advanced language models enhance automated testing of mobile apps, detecting crucial bugs.
― 7 min read
A new tool enhances Git merging by analyzing code dependencies.
― 5 min read
A new framework tackles fairness in deep neural networks during model pruning.
― 7 min read
A detailed look at how code LLMs manage transformations in code.
― 6 min read
ESBMC-Python helps verify Python code correctness using type annotations and bounded model checking.
― 5 min read
A study on how LLMs manage coding rules and constraints.
― 4 min read
A new method improves language models' efficiency while reducing costs and environmental impact.
― 8 min read
Learn how CFDGs enhance software testing by clarifying decision paths.
― 6 min read
A look into foundation model leaderboards and their evaluation issues.
― 6 min read
Updating legacy systems is essential for business efficiency and security.
― 6 min read
A fast tool checks BPMN models for errors, ensuring smooth business processes.
― 5 min read
This paper presents a framework for automated testbench generation using LLMs.
― 4 min read
NFARD offers innovative methods to protect deep learning model copyrights.
― 6 min read
Synbciatr automatically fixes outdated test cases in software development.
― 7 min read
This study explores the role of feed-forward layers in code language models.
― 5 min read
Exploring the issues of code hallucination in AI programming models.
― 5 min read
This study explores how game elements can engage students in Open Source Software contributions.
― 7 min read
Learn how action research enhances software engineering practices with collaboration and reflection.
― 6 min read
Learn how ethnography enhances understanding in software engineering practices.
― 7 min read
Exploring the impact of blockchain on Public Key Infrastructure.
― 6 min read