Esse estudo analisa como a análise de intervalos melhora a eficácia da Verificação de Modelos Limitados.
― 10 min ler
Ciência de ponta explicada de forma simples
Esse estudo analisa como a análise de intervalos melhora a eficácia da Verificação de Modelos Limitados.
― 10 min ler
Um novo sistema de revisão de código ajuda os alunos a receber um feedback melhor em programação.
― 8 min ler
Uma nova ferramenta tem como objetivo identificar vulnerabilidades em contratos inteligentes cross-chain.
― 9 min ler
Um novo framework melhora a detecção de vulnerabilidades de reversão de estado em contratos inteligentes.
― 7 min ler
INDICT melhora a segurança e a utilidade do código usando análise de crítica dupla.
― 7 min ler
Aprenda como debloatear melhora o desempenho e a segurança do software ao remover código desnecessário.
― 5 min ler
A Fairpriori melhora os testes de justiça em aprendizado de máquina, focando na viés interseccional.
― 9 min ler
Explorando a importância de teoretizar para pesquisadores e educadores em engenharia de software.
― 11 min ler
Essa pesquisa foca em usar agentes baseados em LLM pra melhorar a manutenção de software.
― 8 min ler
Celebrando boas práticas de programação com perfumes de código para quem tá aprendendo Java.
― 7 min ler
SimClone detecta clones de dados em conjuntos de dados tabulares sem depender de características estruturais.
― 7 min ler
Estudo revela estratégias de incorporação eficazes para localização de bugs mais rápida em software.
― 9 min ler
Um olhar sobre a importância de verificar o CCF para aplicações de nuvem seguras.
― 11 min ler
A pesquisa identifica mudanças de API ocultas que afetam o desempenho do aplicativo em várias versões do Android.
― 7 min ler
Estudo revela como os avisos de análise estática se relacionam a falhas de design arquitetônico.
― 8 min ler
As ferramentas de IA estão transformando a forma como os desenvolvedores trabalham, melhorando a eficiência e a produtividade.
― 8 min ler
Ferramenta automatizada para verificar a correção de programas quânticos escritos em Silq.
― 9 min ler
Este artigo avalia a eficácia de modelos de linguagem de grande escala na criação de asserções de hardware.
― 8 min ler
APIGen gera conjuntos de dados diversos e de alta qualidade para agentes de chamada de função.
― 7 min ler
Explorando como os cheiros de design afetam os papéis de desenvolvimento e manutenção de software.
― 8 min ler
Novo software simplifica a análise de medidas de complexidade em dados de séries temporais.
― 7 min ler
Um novo aplicativo ajuda os agricultores a compartilhar feedback facilmente enquanto trabalham.
― 8 min ler
Este artigo explora como os usuários melhoram perguntas relacionadas à arquitetura no Stack Overflow.
― 7 min ler
Integrar a sustentabilidade na educação em computação é essencial para futuros engenheiros.
― 8 min ler
Um sistema pra prevenir ataques em aplicações Java usando uma lista de classes permitidas.
― 5 min ler
Este estudo avalia a eficácia dos LLMs na criação de testes unitários.
― 8 min ler
Uma nova ferramenta melhora a identificação de autores de software por meio da análise de código.
― 8 min ler
Uma nova abordagem para melhorar os testes em sistemas configuráveis, priorizando características críticas.
― 7 min ler
Uma revisão do papel do aprendizado de máquina na melhoria dos processos de integração contínua.
― 9 min ler
Simulações de microrredes ajudam a otimizar a integração de energia renovável e o desempenho do sistema.
― 7 min ler
Uma nova estrutura simplifica a criação de pipelines de aprendizado de máquina para gêmeos digitais.
― 7 min ler
Uma ferramenta pra verificar a segurança de modelos de deep learning.
― 6 min ler
LASSI ajuda a traduzir programas de computador para uma computação científica mais eficiente.
― 6 min ler
Uma visão geral dos desafios dos gerenciadores de pacotes e seu impacto nos desenvolvedores.
― 6 min ler
Cedar oferece um jeito claro de desenvolver políticas de autorização para aplicativos.
― 6 min ler
Métodos simplificados superam agentes complexos na resolução de problemas de software.
― 9 min ler
Analisando métodos pra melhorar a geração de código pra linguagens de programação especializadas usando LLMs.
― 8 min ler
Nova plataforma e conjunto de dados visam melhorar os modelos de correção de bugs do kernel do Linux.
― 9 min ler
O ResearchBot ajuda os desenvolvedores ligando eles a insights de pesquisa acadêmica.
― 6 min ler
Este estudo avalia quão bem o GPT-3.5 e o GPT-4 detectam clones de código.
― 6 min ler