Envolvendo os alunos em Teste de Software com Aprendizado Baseado em Equipes e projetos de Código Aberto.
― 7 min ler
Ciência de ponta explicada de forma simples
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
Aprenda como os conceitos de aprendizado de máquina ajudam a definir os limites de teste para o software.
― 9 min ler
Analisando os avanços e desafios na automação da Engenharia Orientada a Modelos.
― 7 min ler
Novos métodos melhoram os resultados dos modelos de linguagem, mantendo as regras gramaticais.
― 6 min ler
Esse framework usa múltiplos agentes e gráficos de tarefas pra resolver problemas de forma eficiente.
― 8 min ler
Explorando como os dispositivos podem trabalhar juntos pra ter mais eficiência e desempenho.
― 7 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
SinkLoRA melhora a eficiência dos modelos de linguagem em lidar com textos longos.
― 7 min ler
Essa pesquisa foca em como a qualidade do TDD é medida e relatada.
― 10 min ler
A DLHT oferece uma solução poderosa para armazenamento e recuperação eficiente de dados.
― 6 min ler
Investigando o impacto da anotação social no engajamento e desempenho de alunos de programação.
― 12 min ler
Esse artigo fala sobre um modelo para sistemas distribuídos tolerantes a falhas com foco na recuperação fraca.
― 4 min ler
Uma nova abordagem pra criar APIs a partir de especificações AAS de forma eficiente.
― 7 min ler
Um olhar sobre como o ERCL melhora a eficiência do solucionador SAT.
― 8 min ler
FeaTestSelPrio melhora a eficiência de testes em sistemas de software super configuráveis.
― 9 min ler
Um estudo sobre alocadores de memória e seu impacto no desempenho de sistemas embarcados.
― 7 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
Estudo revela estratégias de incorporação eficazes para localização de bugs mais rápida em software.
― 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
Um novo framework melhora a confiabilidade em sistemas de comunicação assíncronos por meio da gestão do tempo.
― 4 min ler
Um novo método melhora a eficiência dos modelos de linguagem enquanto reduz custos e impacto ambiental.
― 9 min ler
Analisando modelos de IA para uma classificação eficaz de logs de software em redes de telecom.
― 8 min ler
O DSLM captura luz de galáxias distantes usando um design modular único.
― 8 min ler