SP-Fuzz: Fuzzing Soft PLC with Semi-automated Harness Synthesis.

Seungho Jeon Jung-Taek Seo

Published in: WISA (2023)

Keyphrases

semi automated
fully automated
control system
fuzzy control
real time
program synthesis
artificial intelligence
case study
multiscale
texture synthesis
computer vision
lower bound
multiresolution
fully automatic
software design
functional programs