Artigos mais recentes para Engenharia de Software

Aprenda como os conceitos de aprendizado de máquina ajudam a definir os limites de teste para o software.

Analisando os avanços e desafios na automação da Engenharia Orientada a Modelos.

Novos métodos melhoram os resultados dos modelos de linguagem, mantendo as regras gramaticais.

Esse framework usa múltiplos agentes e gráficos de tarefas pra resolver problemas de forma eficiente.

Explorando como os dispositivos podem trabalhar juntos pra ter mais eficiência e desempenho.

Uma visão geral do teste metamórfico e seu papel na qualidade do software.

Esse estudo avalia como o GPT-4 ajuda nas tarefas de engenharia reversa.

SinkLoRA melhora a eficiência dos modelos de linguagem em lidar com textos longos.

Essa pesquisa foca em como a qualidade do TDD é medida e relatada.

A DLHT oferece uma solução poderosa para armazenamento e recuperação eficiente de dados.

Investigando o impacto da anotação social no engajamento e desempenho de alunos de programação.

Esse artigo fala sobre um modelo para sistemas distribuídos tolerantes a falhas com foco na recuperação fraca.

Uma nova abordagem pra criar APIs a partir de especificações AAS de forma eficiente.

Um olhar sobre como o ERCL melhora a eficiência do solucionador SAT.

FeaTestSelPrio melhora a eficiência de testes em sistemas de software super configuráveis.

Um estudo sobre alocadores de memória e seu impacto no desempenho de sistemas embarcados.

Explorando a importância de teoretizar para pesquisadores e educadores em engenharia de software.

Essa pesquisa foca em usar agentes baseados em LLM pra melhorar a manutenção de software.

Estudo revela estratégias de incorporação eficazes para localização de bugs mais rápida em software.

Este artigo avalia a eficácia de modelos de linguagem de grande escala na criação de asserções de hardware.

Um novo framework melhora a confiabilidade em sistemas de comunicação assíncronos por meio da gestão do tempo.

Um novo método melhora a eficiência dos modelos de linguagem enquanto reduz custos e impacto ambiental.

Analisando modelos de IA para uma classificação eficaz de logs de software em redes de telecom.

O DSLM captura luz de galáxias distantes usando um design modular único.

Um olhar sobre os métodos de análise de WebAssembly para execução segura.

O CodeCSE melhora a conexão entre código e comentários usando aprendizado contrastivo para engenharia de software.

Explorando métodos pra criar controladores confiáveis em vários ambientes.

Combinar Classes Estocásticas de Estado e simulação oferece uma análise melhor de sistemas complexos.

Um novo framework melhora a confiabilidade da comunicação em protocolos de troca de mensagens entre várias partes.

Explorando conexões entre programas lógicos e redes booleanas pra melhorar a compreensão de modelos estáveis.

Explorando como as recomendações de tarefas de CSE ajudam os profissionais de software a encontrarem tarefas adequadas.

Estudo cria modelos pra prever bugs de software em tempo real em sistemas complexos.

Um jeito de garantir a correção do software por meio de análise estruturada.

Um novo método pra aumentar a segurança em sistemas críticos usando modelos de linguagem.

Aprenda como métodos formais melhoram o design de software para configurações complexas.

Uma visão geral dos principais problemas na criação de hardware de computação especializado.

Este estudo analisa como o snowballing melhora a qualidade da pesquisa em plataformas de perguntas e respostas.

A IA generativa facilita revisões sistemáticas na pesquisa em engenharia de software.

Um novo framework avalia a dificuldade em tarefas de codificação para grandes modelos de linguagem.

Um programa pra ensinar verificação de modelos pra desenvolver software confiável.