Pesquisadores desenvolvem uma técnica pra ajudar malwares a escaparem da detecção.
― 6 min ler
Ciência de ponta explicada de forma simples
Pesquisadores desenvolvem uma técnica pra ajudar malwares a escaparem da detecção.
― 6 min ler
Novos métodos melhoram a eficiência da verificação de software usando invariantes auxiliares.
― 7 min ler
Um framework simplifica otimizações de peephole pra melhorar o desempenho em aplicações Java.
― 7 min ler
Um novo método pra garantir a confiabilidade e clareza das regex em JavaScript.
― 10 min ler
Uma nova lógica melhora o estudo das interações entre agentes em sistemas complexos.
― 7 min ler
Ajuste dinâmico de estruturas de dados pra dar uma performance eficiente com cargas de trabalho diferentes.
― 10 min ler
Este artigo investiga como modelos de linguagem grandes simulam códigos lógicos de forma eficaz.
― 9 min ler
Um estudo destaca o impacto da contaminação de dados nas avaliações de modelos de código.
― 7 min ler
Foca em usar uma pesquisa sólida pra melhorar as práticas de desenvolvimento de software.
― 6 min ler
Uma visão geral do algoritmo Raft para consenso em sistemas distribuídos.
― 9 min ler
Um novo método pra confirmar a integridade do SQL baseado em regras OCL.
― 7 min ler
O CoderUJB avalia o desempenho de LLM em tarefas de programação Java do mundo real.
― 7 min ler
DeepSample oferece técnicas eficazes para testar Redes Neurais Profundas de forma eficiente e precisa.
― 7 min ler
Aprenda como LLMs podem ajudar a deixar a programação em C mais segura e eficiente.
― 6 min ler
Um novo método melhora os modelos no dispositivo para chamadas de função de IA eficientes.
― 10 min ler
Explorando o papel da IA generativa em melhorar as práticas de segurança de software.
― 7 min ler
Um novo modelo melhora a análise de código WebAssembly através da compreensão de dados mistos.
― 9 min ler
Estudo mostra como modificações no código influenciam as métricas de qualidade do software.
― 11 min ler
Uma abordagem nova pra melhorar a performance de software através de métodos de ajuste dinâmico.
― 6 min ler
Uma nova abordagem reduz a complexidade na verificação da correção da estrutura de dados.
― 4 min ler
O MLRefScanner melhora a detecção de refatoração de código em projetos de machine learning em Python.
― 7 min ler
Um guia prático para pesquisadores usando métodos mistos em engenharia de software.
― 12 min ler
Um estudo sobre o compartilhamento, manutenção e qualidade dos artefatos de pesquisa em software.
― 6 min ler
Um novo método pra avaliar modelos de linguagem pra melhorar a confiabilidade.
― 8 min ler
Envolvendo os alunos em Teste de Software com Aprendizado Baseado em Equipes e projetos de Código Aberto.
― 7 min ler
LogSD melhora a detecção de anomalias em dados de log ao focar em eventos pouco frequentes.
― 8 min ler
Aprenda a importância de validar os rastros de programas distribuídos em relação às especificações.
― 8 min ler
Analisando como os LLMs podem ajudar no processo de triagem em revisões sistemáticas.
― 6 min ler
Explorando o papel das hiperpropriedades na verificação de sistemas de software complexos.
― 5 min ler
Um olhar sobre as complexidades dos sistemas de sistemas na engenharia de software moderna.
― 9 min ler
Explore o papel dos aspectos humanos na modelagem de software e suas implicações.
― 8 min ler
Uma olhada no TopKAT e seu papel na análise de programas de computador.
― 8 min ler
Uma nova abordagem pra melhorar a detecção de clones de código em projetos de software.
― 8 min ler
Uma nova plataforma tem como objetivo melhorar os testes de segurança de veículos para as tecnologias automotivas modernas.
― 8 min ler
A gamificação aumenta o engajamento e a motivação dos alunos em programas de engenharia de software.
― 7 min ler
Este estudo investiga a eficiência de memória em grandes modelos de linguagem através da decomposição de baixa classificação.
― 6 min ler
Uma nova abordagem pra melhorar a consistência de gráficos usando regras de transformação e condições de aplicação.
― 8 min ler
O WeChat aumenta a eficiência na computação de métricas usando a tecnologia BSI pra melhorar a tomada de decisão.
― 9 min ler
Explore a natureza, tipos e usos reais de problemas de satisfação de restrições.
― 5 min ler
Um olhar sobre como diferentes sistemas de monitoramento checam comportamentos complexos.
― 6 min ler