Cindy Wauters

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Symbolic Execution

Pattern Detection

Top Venues

Publications

Cindy Wauters, Jens Van der Plas, Quentin Stiévenart, Coen De Roover
Change Pattern Detection for Optimising Incremental Static Analysis. SCAM (2023)