Informática - Engenharia de software

Esse artigo avalia quão bem os LLMs geram casos de teste para programas em Java.

Analisando o impacto e as lições do ataque cibernético DarkSeoul na Coreia do Sul.

Uma nova ferramenta pra melhorar o desempenho da simulação de circuitos quânticos.

Esse estudo aborda o desperdício no desenvolvimento de software e oferece estratégias de medição.

O RepairBench define padrões pra comparar modelos de IA na correção de bugs de software.

Aprenda como o desenvolvimento moldável transforma a compreensão de software com ferramentas personalizadas.

Este estudo mostra como os anúncios atrapalham a acessibilidade online para usuários com deficiência.

Um novo sistema melhora a precisão e a eficiência da tradução de códigos usando agentes especializados.

O CRScore oferece um método de avaliação inovador pra analisar os comentários de revisão de código sem precisar de referências humanas.

Uma nova abordagem melhora a detecção de malware enquanto resiste a ataques adversariais.

Uma abordagem nova pra melhorar a detecção de anomalias baseada em logs usando modelos transformer.

Apresentando uma linguagem de programação focada em desempenho confiável de aplicativos e gerenciamento de memória.

Este artigo fala sobre como é compreensível o código Java decompilado e a sua importância.

Explorando a relação entre traços de personalidade e a eficácia na geração de código usando LLMs.

Explore como a síntese de dados melhora o desempenho e o treinamento de modelos de codificação.

Este estudo explora como os LLMs ajudam os desenvolvedores a entender algoritmos quânticos de forma eficaz.

O VIEWER organiza os dados dos pacientes para os profissionais de saúde mental.

O DemoCraft melhora a geração de código a partir de linguagem natural usando seleção inteligente de exemplos.

Pesquisas mostram que LLMs conseguem gerar código sintético útil para ensinar.

A esperança é essencial pra resiliência, motivação e saúde mental positiva.

A IA tá mudando a forma como lidamos com vulnerabilidades em software de um jeito eficaz.

Uma olhada em métodos para detectar bugs em software quântico.

Uma nova abordagem aumenta a eficiência na verificação de designs de chips de computador.

Investigando o papel dos LLMs na geração de especificações de software para verificação.

Um olhar sobre o WASM e a importância da decompilação na segurança da web.

Avaliando a relevância da engenharia de prompts com novos modelos de raciocínio.

Combinando IA com Dafny pra facilitar os processos de verificação de software.

Casos de Garantia garantem a confiabilidade, segurança e clareza para o usuário do software.

Um olhar sobre as dificuldades de identificar código gerado por IA e as melhorias que vêm por aí.

Uma nova maneira de planejar voos de quadricópteros apenas desenhando caminhos.

Uma iniciativa liderada por estudantes que oferece experiência prática em software para futuros engenheiros.

Analisando o consumo de energia de assistentes de programação como o GitHub Copilot.

Explore como a somatória em ponto flutuante afeta a precisão nos cálculos.

As QNNs podem mudar a forma como os sistemas de dados são testados e gerenciados na saúde.

O Mint captura e gerencia dados de rastreamento de forma eficiente pra ter melhores insights.

Conexões fracas podem acender a inovação em projetos de software.

Uma olhada no potencial dos camps de programação para melhorar o aprendizado e as conexões de carreira.

Um novo método melhora a detecção de vulnerabilidades em contratos inteligentes.

Saiba como a detecção de anomalias protege dados sensíveis de ameaças.

Uma olhada em como as vulnerabilidades de software são identificadas, corrigidas e compartilhadas.