Entender os fatores humanos é fundamental pra desenvolver veículos automatizados seguros.
― 9 min ler
Informática - Engenharia de software
RSSArtigos mais recentes
Artigos mais recentes
Novos métodos melhoram a detecção de esquemas Ponzi em investimentos de criptomoedas.
― 6 min ler
Esse framework usa múltiplos agentes e gráficos de tarefas pra resolver problemas de forma eficiente.
― 8 min ler
Melhorar o acesso aos artefatos de pesquisa ajuda a aumentar a qualidade dos requisitos de software.
― 6 min ler
Um jeito novo de treinar modelos de código focando em semântica e comportamento de execução.
― 7 min ler
Método inovador melhora a eficiência na correção de bugs usando patches gerados por LLM.
― 7 min ler
Aprenda como Gêmeos Digitais podem melhorar o design e a operação de veículos de lançamento espacial.
― 7 min ler
Uma nova abordagem pra melhorar o fuzzing baseado em geradores, focando em tipos de dados.
― 7 min ler
Um guia pra transformar código Python não idiomático usando técnicas modernas.
― 7 min ler
Aprenda sobre técnicas de fuzzing pra melhorar a segurança de aplicações web.
― 10 min ler
StackSight transforma WebAssembly em código C++ legível usando técnicas de IA.
― 6 min ler
Novos algoritmos melhoram a velocidade e a precisão da seleção de recursos em modelos estatísticos.
― 5 min ler
A validação e verificação antecipadas garantem que os sistemas atendam às necessidades e minimizem erros caros.
― 7 min ler
Novo método avalia automaticamente a confiabilidade das previsões de ML.
― 11 min ler
Explorando métodos para uma classificação multi-label eficaz no desenvolvimento de software.
― 6 min ler
Uma nova métrica pra medir o quanto é difícil compilar linguagens de programação.
― 6 min ler
Usando IA pra automatizar a vetorização, melhorando a eficiência e a correção do código.
― 7 min ler
Um novo framework melhora a criação de mensagens de commit por meio da automação.
― 9 min ler
Explorando como os dispositivos podem trabalhar juntos pra ter mais eficiência e desempenho.
― 7 min ler
Explore estratégias pra garantir a qualidade do software em ambientes de desenvolvimento colaborativo abertos.
― 9 min ler
Uma visão geral do teste metamórfico e seu papel na qualidade do software.
― 9 min ler
Esse estudo avalia como o GPT-4 ajuda nas tarefas de engenharia reversa.
― 10 min ler
M2CVD melhora a detecção de vulnerabilidades de software através de abordagens de modelo colaborativo.
― 8 min ler
Uma abordagem nova melhora a detecção de vulnerabilidades de segurança em software usando modelos avançados.
― 8 min ler
Um novo teste pra avaliar LLMs em tarefas de programação em Java.
― 8 min ler
Um novo método melhora modelos de linguagem de código através de casos de teste eficazes e aprendizado de preferências.
― 8 min ler
Esse artigo apresenta um método pra garantir a qualidade no código gerado por LLM.
― 7 min ler
Os avanços na computação quântica exigem testes e depuração eficazes para um software confiável.
― 8 min ler
Essa pesquisa foca em como a qualidade do TDD é medida e relatada.
― 10 min ler
O LogBatcher simplifica a análise de logs usando modelos de linguagem grandes sem precisar de treinamento prévio.
― 7 min ler
Aprenda como a modelagem ecológica ajuda a enfrentar os desafios ambientais.
― 7 min ler
Esse artigo fala sobre os riscos de alucinações de pacotes em modelos que geram código.
― 7 min ler
Um novo método melhora os LLMs pra gerar código de UI de alta qualidade.
― 9 min ler
Usando modelos de linguagem pra melhorar a detecção de bugs em software e a eficiência dos testes.
― 7 min ler
Um novo benchmark testa a capacidade dos LLMs de encontrar vulnerabilidades de software.
― 7 min ler
O LUNAR simplifica a análise de logs sem precisar de dados rotulados, melhorando a precisão e a eficiência.
― 8 min ler
Novo framework melhora a conclusão de código ao captar conhecimento específico do repositório.
― 9 min ler
Um olhar sobre vulnerabilidades e soluções para sistemas de aprendizado profundo.
― 7 min ler
Combinando fuzzing e modelos de linguagem pra melhorar a eficiência dos testes de software.
― 5 min ler
DafnyBench avalia ferramentas de verificação de software, abrindo caminho para uma programação confiável.
― 6 min ler
Um olhar sobre como os LLMs encaram desafios de programação por meio de exemplos.
― 6 min ler