Informática - Engenharia de software

O Latte facilita o rastreamento de referências de objetos, diminuindo a complexidade para os desenvolvedores.

Abordando problemas comuns nos testes de deep learning pra melhorar a confiabilidade dos modelos.

Apresentando um método pra criar conjuntos de dados de bugs precisos e diversos pra melhorar o software.

Este estudo analisa os problemas de mover bibliotecas de ML entre diferentes tipos de hardware.

Uma ferramenta pra ajudar os programadores a entender as mensagens de erro complexas do Rust.

Uma nova abordagem melhora a navegação de código para especificações de linguagens de software online.

CRIL combina reversibilidade e concorrência para programação eficiente.

A Rebeca temporizada modela sistemas assíncronos com manejo de mensagens sensíveis ao tempo.

Um novo sistema melhora o diagnóstico de falhas em serviços de nuvem usando dados.

Um novo método melhora as sugestões de API pra dar uma força no desenvolvimento de software.

Uma nova maneira de corrigir erros de compilação com mudanças mínimas no código.

Saiba como variantes de programas podem melhorar a segurança do WebAssembly contra vulnerabilidades.

Um novo método melhora a geração de testes automatizados ao focar em metas de cobertura importantes.

Uma nova estrutura busca melhorar a coleta e o entendimento das vulnerabilidades de software.

Avaliando a eficácia do ChatGPT em tarefas de análise de logs, análise de dados e resumir informações.

Este estudo investiga como os modelos de código entendem os nomes e o uso de APIs.

Aprenda como LLMs facilitam a criação e avaliação de código Verilog.

Novo método busca reduzir o tempo de compilação em tarefas de computação quântica.

Descubra como o ChatGPT pode agilizar o processo de revisão de código no desenvolvimento de software.

Esse artigo fala sobre novos métodos para verificar a segurança de dados em sistemas concorrentes.

Usando modelos de linguagem grandes pra agilizar os processos de verificação de design de hardware.

Uma nova abordagem pra consertar bugs de software usando modelos de linguagem pra selecionar código doador.

O método EditAS melhora a geração de asserções para resultados de testes unitários melhores.

Explore como a Integração Contínua melhora a qualidade do software e a colaboração da equipe.

O Testaro simplifica os testes de acessibilidade ao juntar várias ferramentas em um processo numa boa.

EGFE melhora o processo de organizar elementos de design de UI pra ter uma qualidade de código melhor.

Uma abordagem focada pra identificar rápido bugs de software com testes direcionados.

O LogShrink oferece uma compressão melhor pra armazenar dados de log que custam caro.

Uma nova biblioteca pra criar e gerenciar conjuntos de dados de labirintos em machine learning.

Analisando como requisitos de alta qualidade influenciam o sucesso de projetos de software.

Uma nova abordagem melhora o treinamento de modelos substitutos no desenvolvimento de software.

Analisando a ligação entre práticas de arquitetura de software e esforços de sustentabilidade.

Uma abordagem nova pra prever atrasos em projetos ágeis usando dados em tempo real.

Entendendo o impacto da dívida técnica em startups de software e seus processos de desenvolvimento.

SBOMs são essenciais pra acompanhar componentes de software e melhorar a segurança.

Trusta e TDTs melhoram o processo de criar casos de garantia para a segurança do sistema.

Uma nova arquitetura de MLOps integra explicações para aumentar a confiança e a eficiência em modelos de ML.

Uma olhada na performance do GPT-4 e do GPT-3.5 em tarefas de programação.

Mergulhe nos elementos únicos da engenharia de requisitos para software quântico.

Sistemas inteligentes precisam evoluir pra lidar com incertezas em ambientes em tempo real.