Automated Test Case Generation for Airborne Software Using a VAE–Transformer Model
Este artigo propõe uma estrutura baseada em VAE–Transformer que combina representações de matriz de campo de eventos estruturadas com vetores semânticos de estado para gerar casos de teste diversos e de alta qualidade, melhorando significativamente a cobertura e a eficiência no fuzzing de software aeroespacial crítico para a segurança em comparação com métodos convencionais.