POSTER: Seccomp profiling with Dynamic Analysis via ChatGPT-assisted Test Code Generation.

Somin Song Ashish Kundu Byungchul Tak

Published in: AsiaCCS (2024)

Keyphrases

dynamic analysis
code generation
static analysis
reverse engineering
software development
formal specification
application development
code generator
modeling language
software engineering
model driven
model checking
rapid prototyping
case study
software reuse
data driven
object oriented