Verificando código escrito por IA: Ensinando seus agentes a corrigir sua própria saída

A codificação com IA mudou fundamentalmente a forma como o software é escrito e as melhorias são reais. Ferramentas como Claude Code e Cursor aceleram a velocidade dos desenvolvedores e mudam a forma como abordamos a engenharia de software, levando a melhores designs. No entanto, à medida que a IA escreve mais código do que nunca, o teste e a verificação se tornam o novo gargalo. Participe deste workshop, se você estiver enfrentando problemas como: Neste workshop, apresentaremos uma abordagem fundamentalmente diferente para resolver a lacuna de verificação. Em vez de tentar adivinhar todos os modos de falha antecipadamente, definimos os invariantes que devem sempre ser verdadeiros para o sistema e, em seguida, colocamos seu software em um ambiente rigoroso que busca sistematicamente e de forma determinística maneiras de quebrar esses limites. Vamos abordar como essa abordagem ajuda a expor os tipos de falhas que ainda são dolorosas em sistemas modernos, incluindo travamentos, bugs de correção de dados, bugs de tolerância a falhas e outros problemas difíceis de reproduzir. Uma vez que encontramos uma falha, identificamos a causa raiz e fornecemos a você e seus agentes de codificação informações detalhadas de depuração para iterar e resolver problemas mais rapidamente. Isso pode se integrar a fluxos de trabalho existentes e evoluir com a maneira como sua equipe constrói software hoje. Para tornar este um workshop produtivo, também incentivamos você a compartilhar suas realidades do dia a dia em seus próprios fluxos de trabalho de engenharia e a fomentar uma discussão aberta sobre como a engenharia assistida por IA pode e deve evoluir. Se você está buscando aumentar sua produtividade e deseja uma abordagem mais rigorosa para encontrar, reproduzir e corrigir bugs que escapam aos testes convencionais, adoraríamos tê-lo conosco. As vagas são limitadas. Registre-se logo!