Artigos mais recentes para Desenvolvimento de Software

Melhorando a segurança do software ao detectar vulnerabilidades antes que sejam exploradas.

Este artigo examina o papel dos LLMs na correção das especificações do Alloy.

O 3DGen usa IA pra transformar descrições de dados informais em código seguro.

AID usa LLMs e testes diferenciais pra melhorar a detecção de bugs em software.

Um novo sistema simplifica a tolerância a falhas na computação em rede com abordagens fáceis de usar.

Aprenda como comportamento indefinido afeta bibliotecas Rust usando funções estrangeiras.

Novo framework melhora a precisão na correção de bugs usando análise em nível de token e informações contextuais.

Um novo método pra melhorar a experiência do usuário na edição colaborativa de documentos.

Avaliando modelos de IA acessíveis pra gerar código Python com hardware padrão.

Um novo método melhora a forma como os usuários criam fórmulas em planilhas.

Uma análise de como usar modelos de linguagem pra avaliar a satisfação dos requisitos de software.

O MOAgent torna a análise de dados biológicos complexos acessível para os pesquisadores.

Avaliar os riscos dos modelos de linguagem pra garantir a segurança do usuário e a integridade do sistema.

Um pacote Python facilita a análise de dados de aglomerados de galáxias, ajudando na pesquisa cósmica.

Esse artigo apresenta um método pra gerar cenários de teste a partir de requisitos em linguagem natural.

Essa abordagem melhora a extração de dados de páginas da web usando regras estruturadas.

Descubra as novas funcionalidades do SCIP 9.0 para uma otimização eficiente.

TF2AIF facilita a implantação de modelos de IA em vários dispositivos e plataformas.

Descubra como microserviços e containers melhoram a performance e gestão de software.

Esse artigo explora os desafios de instalação que os desenvolvedores de software iniciantes enfrentam.

Essa pesquisa foca em um novo sistema de tipos que combina estratégias de avaliação em linguagens de programação.

Explorando as preocupações em torno do uso de código no treinamento de modelos de IA.

Uma ferramenta de análise visual melhora a análise do desempenho de microserviços.

A MACH oferece um caminho claro para uma gestão de software eficaz e colaboração em equipe.

Um estudo sobre as conexões entre produtos de TI certificados e suas implicações de segurança.

Um olhar sobre teste de mutação e seu papel em melhorar a qualidade do software.

Um novo método melhora os testes de software ao focar em interações e ambientes reais.

Saiba como os NFPs estão mudando o cenário dos aplicativos descentralizados.

Um novo sistema pra avaliar vulnerabilidades de software em múltiplos níveis.

Usando modelos de linguagem pra melhorar a eficiência e a precisão da reparação automática de programas.

Um novo método cria sistemas de diálogo usando dados não rotulados e APIs.

A competição CHC mostrou os avanços nos solucionadores e suas aplicações na verificação de programas.

Um novo sistema combina recuperação e classificação pra reduzir relatórios de bugs duplicados.

Este estudo explora como a IA pode melhorar as reuniões ágeis na Austrian Post.

Um novo sistema melhora a experiência do usuário ajustando a entrega de tokens em tempo real.

Analisando estratégias pra melhorar a confiabilidade da comunicação entre clientes e servidores.

Uma nova perspectiva sobre modelos de memória pra otimização melhor em programação.

O EasyLAN facilita o desenvolvimento de redes LLM colaborativas pra tarefas complexas.

Raciocínio contrafactual ajuda a entender as vulnerabilidades no código.

Um novo método para marca d'água eficaz em código gerado por IA.