Informática - Engenharia de software

Esse estudo analisa como a análise de intervalos melhora a eficácia da Verificação de Modelos Limitados.

Um novo sistema de revisão de código ajuda os alunos a receber um feedback melhor em programação.

Uma nova ferramenta tem como objetivo identificar vulnerabilidades em contratos inteligentes cross-chain.

Um novo framework melhora a detecção de vulnerabilidades de reversão de estado em contratos inteligentes.

INDICT melhora a segurança e a utilidade do código usando análise de crítica dupla.

Aprenda como debloatear melhora o desempenho e a segurança do software ao remover código desnecessário.

A Fairpriori melhora os testes de justiça em aprendizado de máquina, focando na viés interseccional.

Explorando a importância de teoretizar para pesquisadores e educadores em engenharia de software.

Essa pesquisa foca em usar agentes baseados em LLM pra melhorar a manutenção de software.

Celebrando boas práticas de programação com perfumes de código para quem tá aprendendo Java.

SimClone detecta clones de dados em conjuntos de dados tabulares sem depender de características estruturais.

Estudo revela estratégias de incorporação eficazes para localização de bugs mais rápida em software.

Um olhar sobre a importância de verificar o CCF para aplicações de nuvem seguras.

A pesquisa identifica mudanças de API ocultas que afetam o desempenho do aplicativo em várias versões do Android.

Estudo revela como os avisos de análise estática se relacionam a falhas de design arquitetônico.

As ferramentas de IA estão transformando a forma como os desenvolvedores trabalham, melhorando a eficiência e a produtividade.

Ferramenta automatizada para verificar a correção de programas quânticos escritos em Silq.

Este artigo avalia a eficácia de modelos de linguagem de grande escala na criação de asserções de hardware.

APIGen gera conjuntos de dados diversos e de alta qualidade para agentes de chamada de função.

Explorando como os cheiros de design afetam os papéis de desenvolvimento e manutenção de software.

Novo software simplifica a análise de medidas de complexidade em dados de séries temporais.

Um novo aplicativo ajuda os agricultores a compartilhar feedback facilmente enquanto trabalham.

Este artigo explora como os usuários melhoram perguntas relacionadas à arquitetura no Stack Overflow.

Integrar a sustentabilidade na educação em computação é essencial para futuros engenheiros.

Um sistema pra prevenir ataques em aplicações Java usando uma lista de classes permitidas.

Este estudo avalia a eficácia dos LLMs na criação de testes unitários.

Uma nova ferramenta melhora a identificação de autores de software por meio da análise de código.

Uma nova abordagem para melhorar os testes em sistemas configuráveis, priorizando características críticas.

Uma revisão do papel do aprendizado de máquina na melhoria dos processos de integração contínua.

Simulações de microrredes ajudam a otimizar a integração de energia renovável e o desempenho do sistema.

Uma nova estrutura simplifica a criação de pipelines de aprendizado de máquina para gêmeos digitais.

Uma ferramenta pra verificar a segurança de modelos de deep learning.

LASSI ajuda a traduzir programas de computador para uma computação científica mais eficiente.

Uma visão geral dos desafios dos gerenciadores de pacotes e seu impacto nos desenvolvedores.

Cedar oferece um jeito claro de desenvolver políticas de autorização para aplicativos.

Métodos simplificados superam agentes complexos na resolução de problemas de software.

Analisando métodos pra melhorar a geração de código pra linguagens de programação especializadas usando LLMs.

Nova plataforma e conjunto de dados visam melhorar os modelos de correção de bugs do kernel do Linux.

O ResearchBot ajuda os desenvolvedores ligando eles a insights de pesquisa acadêmica.

Este estudo avalia quão bem o GPT-3.5 e o GPT-4 detectam clones de código.